Evaluating initial inputs for concolic testing

W Wang, Q Zeng - 2015 International Symposium on …, 2015 - ieeexplore.ieee.org
Concolic testing is a powerful technique for vulnerability detection. Current concolic testing
tools usually randomly select one well-formed concrete input to start their workflow, then …

Evaluating Initial Inputs for Concolic Testing

W Wang, Q Zeng - Proceedings of the 2015 International Symposium on …, 2015 - dl.acm.org
Concolic testing is a powerful technique for vulnerability detection. Current concolic testing
tools usually randomly select one well-formed concrete input to start their workflow, then …

Evaluating Initial Inputs for Concolic Testing

W Wang, Q Zeng - 2015 International Symposium on Theoretical Aspects … - infona.pl
Concolic testing is a powerful technique for vulnerability detection. Current concolic testing
tools usually randomly select one well-formed concrete input to start their workflow, then …

Evaluating Initial Inputs for Concolic Testing

W Wang, Q Zeng - … International Symposium on Theoretical Aspects of …, 2015 - computer.org
Concolic testing is a powerful technique for vulnerability detection. Current concolic testing
tools usually randomly select one well-formed concrete input to start their workflow, then …