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