SpecExplorer

MaRDI QIDQ23312swMATHFDO

Official website http://research.microsoft.com/en-us/projects/specexplorer/

Described by source

• FM 2005: Formal Methods

Cited in

(28)

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

This page was built for software: SpecExplorer