AIDOaRT

  • 12 Conference contribution
  • 1 Article
  • 1 Other contribution
Filter
Conference contribution

Search results

  • 2025

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

    Winsten, J. & Porres, I., 2025, (Accepted/In press) 18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025. IEEE, 9 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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, p. 43-44 2 p. (Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    16 Downloads (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, p. 154-158 4 p. (Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    42 Downloads (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, p. 161-167 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

  • Iterative Optimization of Hyperparameter-based Metamorphic Transformations

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

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › 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, p. 151-169 (EPiC Series in Computing; vol. 96).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    8 Citations (Scopus)
    123 Downloads (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, p. 43-44

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    8 Citations (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, p. 144-160 17 p. ( Lecture Notes in Computer Science; vol. 13227).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    46 Downloads (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, p. 21-28 (IEEE International Conference on Software Testing, Verification and Validation Workshops).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    5 Citations (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, p. 367-377 11 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    8 Citations (Scopus)
    43 Downloads (Pure)

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

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

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    File
    2 Citations (Scopus)
    25 Downloads (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, p. 95-100 9440165. (Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

    7 Citations (Scopus)