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
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device.
,
,
,
,
,
,
,
,
,
,
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022