Results 81 to 87 of about 99 (87)

Automatically Performing Weak Mutation With the Aid of Symbolic Execution, Concolic Testing and Search-Based Testing

Software Quality Journal, 2011
Mike Papadakis, Nicos Malevris
exaly  

Concolic Testing for Functional Languages

Science of Computer Programming, 2017
Konstantinos Sagonas, Aggelos Giantsios
exaly  

Testing Concolic Execution Through Consistency Checks

Journal of Systems and Software
Emilio Coppa
exaly  

Hybrid Concolic Testing

2007
Rupak Majumdar, Koushik Sen
exaly  

CO3: Concolic Co-execution for Firmware.

Changming Liu, Alejandro Mera, Engin Kirda, Meng Xu, Long Lu   +4 more
openaire   +1 more source

Multifuzz: A Collaborative Fuzzing Framework Based on Concolic Execution

exaly  

Concolic Execution of Multi-threaded Assembly Programs

openaire   +1 more source