1 – 7 of 7
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Industry Practices for Challenging Autonomous Driving Systems with Critical Scenarios
(
- Contribution to journal › Article
- 2023
-
Mark
Stress Testing Control Loops in Cyber-physical Systems
(
- Contribution to journal › Article
-
Mark
Testing Abstractions for Cyber-Physical Control Systems
2023) In ACM Transactions on Software Engineering and Methodology(
- Contribution to journal › Article
-
Mark
Stress Testing of Design Assumptions in Cyber-Physical Systems: A Control Theory-Based Approach
2023) In ACM Transactions on Software Engineering and Methodology(
- Contribution to journal › Article
- 2014
-
Mark
A Taxonomy for Requirements Engineering and Software Test Alignment
(
- Contribution to journal › Article
-
Mark
Residual Investigation : Predictive and Precise Bug Detection
(
- Contribution to journal › Article
- 2008
-
Mark
Developing and debugging algebraic specifications for Java classes
(
- Contribution to journal › Article