Concolic testing heap-manipulating programs

LH Pham, QL Le, QS Phan, J Sun - Formal Methods–The Next 30 Years …, 2019 - Springer
Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …
被引用次数：14 相关文章

Concolic Testing Heap-Manipulating Programs

Formal Methods–The Next 30 Years: Third World …, 2019 - books.google.com
Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …

Concolic Testing Heap-Manipulating Programs

LH Pham, QL Le, QS Phan, J Sun - … Symposium on Formal …, 2019 - research.tees.ac.uk
Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …
[PDF] core.ac.uk

[PDF][PDF] Concolic Testing Heap-Manipulating Programs

LH Pham, QL Le, QS Phan, J Sun - core.ac.uk
Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …

Concolic testing heap-manipulating programs

LH PHAM, Q LOC LE, QS PHAN, J SUN - 2019 - ink.library.smu.edu.sg
Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …

Concolic Testing Heap-Manipulating Programs

LH Pham, QL Le, QS Phan, J Sun - arXiv preprint arXiv:1907.05637, 2019 - arxiv.org
Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …

Concolic Testing Heap-Manipulating Programs

LH Pham, QL Le, QS Phan, J Sun - International Symposium on Formal …, 2019 - dl.acm.org
Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …

Concolic Testing Heap-Manipulating Programs

LH Pham, Q Loc Le, QS Phan, J Sun - arXiv e-prints, 2019 - ui.adsabs.harvard.edu
Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …
[PDF] github.io

[PDF][PDF] Concolic Testing Heap-Manipulating Programs

LH Pham, QL Le, QS Phan, J Sun - qsphan.github.io
Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …
[PDF] researchgate.net

[PDF][PDF] Concolic Testing Heap-Manipulating Programs (Technical Report)

LH Pham, QL Le, QS Phan, J Sun - arXiv preprint arXiv …, 2019 - researchgate.net
Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …