AIDOaRT

Filter
Konferensbidrag

Sökresultat

  • 2025

    Unified Search for Multi-requirement Falsification for Cyber-Physical Systems

    Winsten, J. & Porres, I., 2025, (Accepterad/under tryckning) 18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025. IEEE, 9 s.

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  • 2024

    Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV

    Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., 14 apr. 2024, Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024. ACM, s. 43-44 2 s. (Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024).

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    Öppen tillgång
    Fil
    2 Citeringar (Scopus)
    17 Nedladdningar (Pure)

  • Dynamic Test Case Prioritization in Industrial Test Result Datasets

    Torbunova, A., Strandberg, P. E. & Porres, I., 15 apr. 2024, Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024. ACM, s. 154-158 4 s. (Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024).

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    Öppen tillgång
    Fil
    43 Nedladdningar (Pure)

  • Early Detection with Explainability of Network Attacks Using Deep Learning

    Ahmad, T. & Truscan, D., 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 161-167 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  • Iterative Optimization of Hyperparameter-based Metamorphic Transformations

    Sudheerbabu, G., Ahmad, T., Truscan, D., Vain, J. & Porres, I., 17 sep. 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 13-20 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

  • 2023

    ARCH-COMP 2023 Category Report: Falsification

    Menghi, C., Arcaini, P., Baptista, W., Ernst, G., Fainekos, G., Formica, F., Gon, S., Khandait, T., Kundu, A., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Waga, M. & Zhang, Z., 2023, Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). EasyChair, s. 151-169 (EPiC Series in Computing; vol. 96).

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    Öppen tillgång
    Fil
    8 Citeringar (Scopus)
    123 Nedladdningar (Pure)

  • WOGAN at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track

    Winsten, J. & Porres, I., 2023, 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT). IEEE, s. 43-44

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    8 Citeringar (Scopus)
  • 2022

    Evaluating System Identification Methods for Predicting Thermal Dissipation of Heterogeneous SoCs

    Öhrling, J., Lafond, S. & Truscan, D., 2022, Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2021. . Springer, s. 144-160 17 s. ( Lecture Notes in Computer Science; vol. 13227).

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    Öppen tillgång
    Fil
    46 Nedladdningar (Pure)

  • Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits

    Peltomäki, J. & Porres, I., 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 21-28 (IEEE International Conference on Software Testing, Verification and Validation Workshops).

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    Öppen tillgång
    5 Citeringar (Scopus)
  • 2021

    Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report

    Sadovykh, A., Truscan, D. & Bruneliere, H., 2021, 2021 IEEE 29th International Requirements Engineering Conference (RE). Los Alamitos, CA, USA: IEEE, s. 367-377 11 s.

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    Öppen tillgång
    Fil
    8 Citeringar (Scopus)
    43 Nedladdningar (Pure)

  • Enabling fast exploration and validation of thermal dissipation requirements for heterogeneous SoCs

    Öhrling, J., Truscan, D. & Lafond, S., maj 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021. IEEE, s. 114-123 10 s. 9440167

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    Öppen tillgång
    Fil
    2 Citeringar (Scopus)
    25 Nedladdningar (Pure)

  • Online GANs for Automatic Performance Testing

    Porres, I., Rexha, H. & Lafond, S., apr. 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021. IEEE, s. 95-100 9440165. (Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021).

    Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

    7 Citeringar (Scopus)