UniTESK
From MaRDI portal
Software:18658
swMATH6566MaRDI QIDQ18658FDOQ18658
Author name not available (Why is that?)
Cited In (14)
- 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
- JMLUnit: The Next Generation
- Projecting transition systems: overcoming state explosion in concurrent system verification
- 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
- Generating Unit Tests from Formal Proofs
- Title not available (Why is that?)
This page was built for software: UniTESK
