26 papers:
PPDP-2015-GiantsiosPS #functional #testing- Concolic testing for functional languages (AG, NSP, KFS), pp. 137–148.
SAC-2015-KrutzMS #analysis #detection #effectiveness #using- Examining the effectiveness of using concolic analysis to detect code clones (DEK, SAM, ES), pp. 1610–1615.
ICLP-J-2015-MesnardPV #logic programming #testing- Concolic testing in logic programming (FM, ÉP, GV), pp. 711–725.
ICST-2015-FarzanHV #concurrent #execution #testing- Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.
SCAM-2014-OhSSW #fault #locality- Concolic Fault Localization (CO, MS, DSN, TW), pp. 135–144.
LOPSTR-2014-Vidal #execution #generative #prolog #testing- Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.
- SAC-2014-ChenZW #detection #named #testing
- Crashmaker: an improved binary concolic testing tool for vulnerability detection (BC, QZ, WW), pp. 1257–1263.
FSE-2014-SeoK #how #testing- How we get there: a context-guided search strategy in concolic testing (HS, SK), pp. 413–424.
ASE-2013-KimKKLJK #automation #embedded #industrial #scalability #testing #using- Automated unit testing of large industrial embedded software using concolic testing (YK, YK, TK, GL, YJ, MK), pp. 519–528.
WCRE-2013-KrutzS #clone detection #detection #named- CCCD: Concolic code clone detection (DEK, ES), pp. 489–490.
PLDI-2013-UdupaRDMMA #named #protocol #specification- TRANSIT: specifying protocols with concolic snippets (AU, AR, JVD, SMH, MMKM, RA), pp. 287–296.
ESEC-FSE-2013-JaffarMN #testing- Boosting concolic testing via interpolation (JJ, VM, JAN), pp. 48–58.
- ESEC-FSE-2013-SenKBG13a #dynamic analysis #framework #javascript #named #testing
- Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript (KS, SK, TGB, SG), pp. 615–618.
ICSE-2013-GargIBMG #c #c++ #execution #generative #testing #using- Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
- FSE-2012-AnandNHY #automation #smarttech #testing
- Automated concolic testing of smartphone apps (SA, MN, MJH, HY), p. 59.
- ICSE-2012-KimKKJ #approach #case study #industrial #testing #using
- Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE (YK, MK, YJK, YJ), pp. 1143–1152.
PPoPP-2012-LiLSGGR #generative #named #testing #verification- GKLEE: concolic verification and test generation for GPUs (GL, PL, GS, GG, IG, SPR), pp. 215–224.
- ICST-2012-KimKJ #case study #embedded #industrial #testing
- Industrial Application of Concolic Testing on Embedded Software: Case Studies (MK, YK, YJ), pp. 390–399.
- ICST-2012-KimKR #approach #distributed #empirical #evaluation #scalability #testing
- A Scalable Distributed Concolic Testing Approach: An Empirical Evaluation (MK, YK, GR), pp. 340–349.
- ESEC-FSE-2011-KimK #embedded #named #reliability #scalability #testing
- SCORE: a scalable concolic testing tool for reliable embedded software (YK, MK), pp. 420–423.
- SAT-2011-Sen #constraints #testing
- Concolic Testing and Constraint Satisfaction (KS), pp. 3–4.
- ASE-2007-InkumsahX #framework #named #object-oriented #source code #testing
- Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs (KI, TX), pp. 425–428.
- ASE-2007-Sen07a #testing
- Concolic testing (KS), pp. 571–572.
- ICSE-2007-MajumdarS #hybrid #testing
- Hybrid Concolic Testing (RM, KS), pp. 416–426.
CAV-2006-SenA #model checking #testing #tool support- CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (KS, GA), pp. 419–423.
- ESEC-FSE-2005-SenMA #c #named #testing
- CUTE: a concolic unit testing engine for C (KS, DM, GA), pp. 263–272.
