Articles matching “Leavens”
- Amirfarhad Nilizadeh, Gary T. Leavens, David R. Cok, Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs, pp. 2:1-13, PDF, DOI. Volume 23, no. 2 (March 2024)
- Frank Piessens, Bart Jacobs, Gary T. Leavens, Special Section on Formal Techniques for Java-like Programs, HTML, DOI. Volume 10, (2011)
- Gary T. Leavens, Not a Number of Floating Point Problems, pp. 75-83, PDF, HTML, DOI. Volume 5, no. 2 (March 2006)