Search-based Testing of Simulink Models with Requirements Tables.
CoRR, January, 2025
Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks.
IEEE Trans. Software Eng., February, 2024
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.
ACM Trans. Softw. Eng. Methodol., February, 2024
Search-based Trace Diagnostic.
CoRR, 2024
ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise.
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models.
Inf. Softw. Technol., November, 2023
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
ARCH-COMP23 Category Report: Falsification.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.
CoRR, 2022
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.
,
,
,
,
,
,
,
,
,
,
,
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022
Neural Networks based Human Intent Prediction for Collaborative Robotics Applications.
Proceedings of the 20th International Conference on Advanced Robotics, 2021