Pages that link to "Item:Q1878923"
From MaRDI portal
The following pages link to An overview of the runtime verification tool Java PathExplorer (Q1878923):
Displayed 5 items.
- JPAX (Q21885) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- Mu-calculus path checking (Q1045942) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)