Boosting concolic testing via interpolation
Concolic testing has been very successful in automatically generating test inputs for
programs. However one of its major limitations is path-explosion that limits the generation of …
programs. However one of its major limitations is path-explosion that limits the generation of …
[PDF][PDF] Boosting Concolic Testing via Interpolation
J Jaffar, V Murali, JA Navas - 2013 - Citeseer
Concolic testing has been very successful in automatically generating test inputs for
programs. However one of its major limitations is path-explosion that limits the generation of …
programs. However one of its major limitations is path-explosion that limits the generation of …
Boosting concolic testing via interpolation
J Jaffar, V Murali, JA Navas - 2013 - scholarbank.nus.edu.sg
Concolic testing has been very successful in automatically generating test inputs for
programs. However one of its major limitations is path-explosion that limits the generation of …
programs. However one of its major limitations is path-explosion that limits the generation of …
[PDF][PDF] Boosting Concolic Testing via Interpolation
J Jaffar, V Murali, JA Navas - 2013 - jorgenavas.github.io
Concolic testing has been very successful in automatically generating test inputs for
programs. However one of its major limitations is path-explosion that limits the generation of …
programs. However one of its major limitations is path-explosion that limits the generation of …
[PDF][PDF] Boosting Concolic Testing via Interpolation
J Jaffar, V Murali, JA Navas - 2013 - scholar.archive.org
Concolic testing has been very successful in automatically generating test inputs for
programs. However one of its major limitations is path-explosion that limits the generation of …
programs. However one of its major limitations is path-explosion that limits the generation of …
[PDF][PDF] Boosting Concolic Testing via Interpolation
J Jaffar, V Murali, JA Navas - 2013 - comp.nus.edu.sg
Concolic testing has been very successful in automatically generating test inputs for
programs. However one of its major limitations is path-explosion that limits the generation of …
programs. However one of its major limitations is path-explosion that limits the generation of …
[PDF][PDF] Boosting Concolic Testing via Interpolation
J Jaffar, V Murali, JA Navas - Citeseer
Concolic testing [11, 20] is a variant of symbolic execution which has been very successful in
generating high-coverage test inputs. It executes a program both with concrete and symbolic …
generating high-coverage test inputs. It executes a program both with concrete and symbolic …