12 citations · 31 across the 17 of their papers we have counts for
Showing 2020 · cs.LOShow all
2 papers · 2 filters
cs.LO2020★ 2 cited
Concolic Testing in CLP
Fred Mesnard, Etienne Payet, German Vidal
Concolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases wi…
cs.LO2020
An SMT-Based Concolic Testing Tool for Logic Programs
Sophie Fortz, Fred Mesnard, Etienne Payet +3
Concolic testing mixes symbolic and concrete execution to generate test cases covering paths effectively. Its benefits have been demonstrated for more than 15 years to test imperat…