1 code implementation • 17 Feb 2020 • Sophie Fortz, Fred Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, German Vidal
Concolic testing mixes symbolic and concrete execution to generate test cases covering paths effectively.
Logic in Computer Science
