The following pages link to JUnit (Q19311):
Displaying 15 items.
- How the design of JML accommodates both runtime assertion checking and formal verification (Q1776585) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)
- OAR lib: an open source arc routing library (Q2293658) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching (Q2849449) (← links)
- JMLUnit: The Next Generation (Q3067548) (← links)
- Algorithm 972 (Q3176331) (← links)
- (Q3456405) (← links)
- (Q4666181) (← links)
- (Q4708542) (← links)
- Generating Unit Tests from Formal Proofs (Q5423869) (← links)
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (Q5452615) (← links)
- Functional Testing in the Focal Environment (Q5458812) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703772) (← links)