Julkaisuja vuodessa
Julkaisuja vuodessa
Hakutulokset
-
2025
Unified Search for Multi-requirement Falsification for Cyber-Physical Systems
Winsten, J. & Porres, I., 2025, (Hyväksytty/In press) 18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025. IEEE, 9 SivumääräTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
2024
Adaptive test generation for unmanned aerial vehicles using WOGAN-UAV
Winsten, J., Soloviev, V., Peltomäki, J. & Porres, I., 14 huhtik. 2024, Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024. ACM, s. 43-44 2 Sivumäärä (Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Testing cyber-physical systems with explicit output coverage
Peltomäki, J., Winsten, J., Methais, M. & Porres, I., 17 syysk. 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).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
2023
A Benchmark for Maritime Object Detection with Centernet on an Improved Dataset, ABOships-PLUS
Iancu, B., Winsten, J., Soloviev, V. & Lilius, J., 22 elok. 2023, julkaisussa: Journal of Marine Science and Engineering. 11, 9, 18 Sivumäärä, 1638.Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
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-44Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu