The following pages link to (Q2753772):
Displaying 9 items.
- Combining test case generation and runtime verification (Q555778) (← links)
- Collecting statistics over runtime executions (Q812051) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Efficient abstraction algorithms for predicate detection (Q2357148) (← links)
- Provably correct runtime monitoring (Q2390029) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Analog property checkers: a DDR2 case study (Q5962118) (← links)
- From LTL to rLTL monitoring: improved monitorability through robust semantics (Q6108436) (← links)
