The following pages link to SpecExplorer (Q23312):
Displaying 13 items.
- On theorem prover-based testing (Q470025) (← links)
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (Q617917) (← links)
- Composing model programs for analysis (Q710670) (← links)
- Test generation from state based use case models (Q736788) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Generating models of infinite-state communication protocols using regular inference with abstraction (Q2018056) (← links)
- A Random Testing Approach Using Pushdown Automata (Q3012968) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Play to Test (Q3434603) (← links)
- State Isomorphism in Model Programs with Abstract Data Structures (Q3614845) (← links)
- Composition of Model Programs (Q3614846) (← links)
- Trustworthy Global Computing (Q5394794) (← links)
