The following pages link to UniTESK (Q18658):
Displayed 14 items.
- Projecting transition systems: overcoming state explosion in concurrent system verification (Q300375) (← links)
- An approach to creating development environments for a wide class of programming languages (Q840034) (← links)
- Automation of broad sanity test generation (Q840076) (← links)
- Bug localization by constructing reduced traces (Q840097) (← links)
- Formalization of test experiments (Q927449) (← links)
- The use of contract specifications for representing requirements and for functional testing of hardware models (Q927452) (← links)
- Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols (Q927464) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Complete open-state testing of limitedly nondeterministic systems (Q2654997) (← links)
- Multithreaded testing of program interfaces (Q2654998) (← links)
- JMLUnit: The Next Generation (Q3067548) (← links)
- Play to Test (Q3434603) (← links)
- (Q4808823) (← links)
- Generating Unit Tests from Formal Proofs (Q5423869) (← links)