UniTESK
From MaRDI portal
Software:18658
No author found.
Related Items (14)
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 ⋮ Complete open-state testing of limitedly nondeterministic systems ⋮ Multithreaded testing of program interfaces ⋮ Formalization of test experiments ⋮ The use of contract specifications for representing requirements and for functional testing of hardware models ⋮ Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols ⋮ Unnamed Item ⋮ Generating Unit Tests from Formal Proofs ⋮ JMLUnit: The Next Generation ⋮ Integration of verification methods for program systems ⋮ Play to Test
This page was built for software: UniTESK
