UniTESK
From MaRDI portal
Cited in
(27)- Integration of verification methods for program systems
- JMLUnit: the next generation
- scientific article; zbMATH DE number 2090131 (Why is no real title available?)
- Symstra
- SMV
- JUnit
- Rostra
- TorX
- Libxml2
- Multithreaded testing of program interfaces
- NModel
- SpecExplorer
- TestNG
- CTESK
- HOL-TestGen
- Complete open-state testing of limitedly nondeterministic systems
- AGEDIS
- Geno
- The use of contract specifications for representing requirements and for functional testing of hardware models
- Generating Unit Tests from Formal Proofs
- Play to Test
- Projecting transition systems: overcoming state explosion in concurrent system verification
- 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
- Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
- Formalization of test experiments
This page was built for software: UniTESK
