Boosting concolic testing via interpolation
10.1145/2491411.2491425
Saved in:
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/78046 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-78046 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-780462015-01-05T19:40:07Z Boosting concolic testing via interpolation Jaffar, J. Murali, V. Navas, J.A. COMPUTER SCIENCE Concolic testing Interpolation Symbolic execution 10.1145/2491411.2491425 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings 48-58 2014-07-04T03:11:47Z 2014-07-04T03:11:47Z 2013 Conference Paper Jaffar, J.,Murali, V.,Navas, J.A. (2013). Boosting concolic testing via interpolation. 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings : 48-58. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/2491411.2491425" target="_blank">https://doi.org/10.1145/2491411.2491425</a> 9781450322379 http://scholarbank.nus.edu.sg/handle/10635/78046 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| collection |
ScholarBank@NUS |
| topic |
Concolic testing Interpolation Symbolic execution |
| spellingShingle |
Concolic testing Interpolation Symbolic execution Jaffar, J. Murali, V. Navas, J.A. Boosting concolic testing via interpolation |
| description |
10.1145/2491411.2491425 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Jaffar, J. Murali, V. Navas, J.A. |
| format |
Conference or Workshop Item |
| author |
Jaffar, J. Murali, V. Navas, J.A. |
| author_sort |
Jaffar, J. |
| title |
Boosting concolic testing via interpolation |
| title_short |
Boosting concolic testing via interpolation |
| title_full |
Boosting concolic testing via interpolation |
| title_fullStr |
Boosting concolic testing via interpolation |
| title_full_unstemmed |
Boosting concolic testing via interpolation |
| title_sort |
boosting concolic testing via interpolation |
| publishDate |
2014 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/78046 |
| _version_ |
1681088570993934336 |