Constraint-logic object-oriented programming for test case generation
Hendrik Winkelmann, Laura Troost, Herbert Kuchen · Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing · 2022
The constraint-logic object-oriented programming (CLOOP) language Muli extends Java 8 by features from constraint-logic programming such as built-in search. We have extended Muli such that it is now ideally suited to implement test case generators based on symbolic execution. More precisely, Muli can symbolically execute Java bytecode as generated from languages such as Java, Scala or Kotlin. The mentioned extension of Muli allows to automatically and systematically generate JUnit tests. We aim at a (nearly) minimal set of test cases achieving data-flow coverage.