Cited in
(28)- Integration of verification methods for program systems
- On theorem prover-based testing
- Combining model checking and testing
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
- IMP++
- ISP
- UniTESK
- Pex
- TorX
- STG
- GenRGenS
- NetLogger
- AsmL
- NModel
- JPF-SE
- TestNG
- jCUTE
- AGEDIS
- Trustworthy Global Computing
- Generating models of infinite-state communication protocols using regular inference with abstraction
- Geno
- A random testing approach using pushdown automata
- Implementation relations and test generation for systems with distributed interfaces
- Test generation from state based use case models
- Composing model programs for analysis
- Play to Test
- Composition of Model Programs
- State Isomorphism in Model Programs with Abstract Data Structures
This page was built for software: SpecExplorer
