HOL-TestGen is a is a test case generator for specification based unit testing. HOL-TestGen is built on top of the specfication and theorem proving environment Isabelle/HOL.

References in zbMATH (referenced in 10 articles )

Showing results 1 to 10 of 10.
Sorted by year (citations)

  1. Hallahan, William T.; Zhai, Ennan; Piskac, Ruzica: Automated repair by example for firewalls (2020)
  2. Lochbihler, Andreas: Fast machine words in Isabelle/HOL (2018)
  3. Brucker, Achim D.; Wolff, Burkhart: Monadic sequence testing and explicit test-refinements (2016)
  4. Brucker, Achim D.; Brügger, Lukas; Wolff, Burkhart: \textscHol-TestGen/fw. An environment for specification-based firewall conformance testing (2013) ioport
  5. Brucker, Achim D.; Wolff, Burkhart: On theorem prover-based testing (2013)
  6. Zimmerman, Daniel M.; Nagmoti, Rinkesh: JMLUnit: the next generation (2011)
  7. Brucker, Achim D.; Wolff, Burkhart: hol-TestGen . An interactive test-case generation framework (2009) ioport
  8. Zybin, R. S.; Kuliamin, V. V.; Ponomarenko, A. V.; Rubanov, V. V.; Chernov, E. S.: Automation of broad sanity test generation (2008)
  9. Brucker, Achim D.; Wolff, Burkhart: Test-sequence generation with Hol-TestGen with an application to firewall testing (2007)
  10. Brucker, Achim D.; Wolff, Burkhart: Interactive testing with HOL-TestGen (2006) ioport