Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,567,035 papers from all fields of science
Search
Sign In
Create Free Account
Concolic testing
Known as:
Concolic
, Concolic execution
Concolic testing (a portmanteau of concrete and symbolic) is a hybrid software verification technique that performs symbolic execution, a classical…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Broader (1)
Automated theorem proving
Boolean satisfiability problem
Code coverage
Constraint logic programming
Depth-first search
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Augmenting American Fuzzy Lop to Increase the Speed of Bug Detection
Ravi P Mahajan
2019
Corpus ID: 86548074
2017
2017
Anxiety: A Dynamic Symbolic Execution Framework
A. Gerasimov
,
Sergey Vartanov
,
+4 authors
Sergey A. Asryan
Ivannikov ISPRAS Open Conference (ISPRAS)
2017
Corpus ID: 45777943
This paper presents a modular dynamic symbolic execution (DSE) framework Anxiety developed at Ivannikov Institute for System…
Expand
2016
2016
Experience Report: White Box Test Case Generation for Automotive Embedded Software
A. Hoffmann
,
Jochen Quante
,
M. Woehrle
International Conference on Software Testing…
2016
Corpus ID: 16232089
Testing software based on symbolic execution is a promising and well-researched approach. Recently, various dynamic symbolic…
Expand
2016
2016
AUTOMATIC VETTING FOR MALICE IN ANDROID PLATFORMS IOWA STATE UNIVERSITY MAY 2016 FINAL TECHNICAL REPORT APPROVED FOR PUBLIC RELEASE; DISTRIBUTION UNLIMITED
Morris Chang
2016
Corpus ID: 51832630
2015
2015
Evaluating Initial Inputs for Concolic Testing
Weiguang Wang
,
Qingkai Zeng
International Symposium on Theoretical Aspects of…
2015
Corpus ID: 16158040
Concolic testing is a powerful technique for vulnerability detection. Current concolic testing tools usually randomly select one…
Expand
2013
2013
A Search Strategy Guided by Uncovered Branches for Concolic Testing
Qixing Dong
,
Jun Yan
,
Jian Zhang
,
Fanping Zeng
International Conference on Quality Software
2013
Corpus ID: 10108807
Test generation plays an important role in software testing. Concolic testing runs concrete executions on programs simultaneously…
Expand
2013
2013
LCT: A Parallel Distributed Testing Tool for Multithreaded Java Programs
Kari Kähkönen
,
Olli Saarikivi
,
Keijo Heljanko
2013
Corpus ID: 14025760
2012
2012
MAGIC: Path-Guided Concolic Testing
Wei Le
,
Linzhang Wang
,
M. Soffa
,
Xuandong Li
,
Zhanqi Cui
2012
Corpus ID: 18371806
Concolic testing has been proposed as an effective technique to automatically test software. The goal of concolic testing is to…
Expand
2010
2010
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Yunho Kim
,
Moonzoo Kim
,
Nam Dang
International Colloquium on Theoretical Aspects…
2010
Corpus ID: 14573282
Flash memory has become a virtually indispensable component for mobile devices in today's information society. However…
Expand
2008
2008
Raisonnement `a contraintes pour le test de bytecode Java
Florence Charreteur
,
Arnaud Gotlieb
2008
Corpus ID: 17859154
fortes que nous illus-trons sur un exemple complexe. Ce mod`ele est, `a notre connaissance, le premier mod`ele `a contraintes…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE