Pages that link to "Item:Q555778"
From MaRDI portal
The following pages link to Combining test case generation and runtime verification (Q555778):
Displaying 9 items.
- Automation of broad sanity test generation (Q840076) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Mu-calculus path checking (Q1045942) (← links)
- Computer says no: verdict explainability for runtime monitors using a local proof system (Q1996872) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- Weak Kripke Structures and LTL (Q3090846) (← links)
- (Q5009452) (← links)
- On first-order runtime enforcement of branching-time properties (Q6090988) (← links)
