ILP Applications in software engineering

• Program construction (Grobelnik 1992, Bergadano et al. 1993-96)
• Inducing invariants for program verification

(Bratko and Grobelnik 1993)
• Inductive test case generation (Bergadano et al. 1993)
• Recovering an abstract specification of a large software system

(Cohen 1994)
• Software fault prediction (Cohen and Devanbu 1997)
• FOIL and FLIPPER applied to predict whether a fault occurs in a C++ class, given background knowledge on coupling relationships to other C++ classes