Concolic Testing of Functional Logic Programs

An SMT-Based Concolic Testing Tool for Logic Programs

“…Concolic testing is a well-established validation technique for imperative and object-oriented programs [3,8], but only recently investigated for functional and logic programming languages. Concolic testing for logic programming was initially studied by Vidal [11] and Mesnard et al [4], while Giantsos et al [2] and Tikovsky et al [10] considered concolic testing of functional programs.…”