Publikationer per år
Publikationer per år
- 4 resultat
Sökresultat
-
2025
Unified Search for Multi-requirement Falsification for Cyber-Physical Systems
Winsten, J. & Porres, I., 2025, 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025. Fasolino, A. R., Panichella, S., Aleti, A. & Mesbah, A. (red.). IEEE, s. 235-243 9 s. (2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025).Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review
7 Nedladdningar (Pure) -
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 › Publicerad konferensartikel › Vetenskaplig › Peer review
Öppen tillgångFil2 Citeringar (Scopus)28 Nedladdningar (Pure) -
Testing cyber-physical systems with explicit output coverage
Peltomäki, J., Winsten, J., Methais, M. & Porres, I., 17 sep. 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 128-136 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review
2 Citeringar (Scopus) -
2023
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-44Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review
9 Citeringar (Scopus)