Cited in
(27)- scientific article; zbMATH DE number 2090131 (Why is no real title available?)
- An approach to creating development environments for a wide class of programming languages
- Automation of broad sanity test generation
- Bug localization by constructing reduced traces
- The use of contract specifications for representing requirements and for functional testing of hardware models
- Projecting transition systems: overcoming state explosion in concurrent system verification
- Symstra
- SMV
- JUnit
- Rostra
- TorX
- Libxml2
- NModel
- SpecExplorer
- TestNG
- CTESK
- HOL-TestGen
- AGEDIS
- Geno
- Multithreaded testing of program interfaces
- Play to Test
- Complete open-state testing of limitedly nondeterministic systems
- Integration of verification methods for program systems
- Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
- Formalization of test experiments
- JMLUnit: the next generation
- Generating Unit Tests from Formal Proofs
This page was built for software: UniTESK
