Constraint-logic object-oriented programming for test case generation

Abstract

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.