Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,760 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.
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
2015
2015
SMCDCT: A Framework for Automated MC/DC Test Case Generation Using Distributed Concolic Testing
Sangharatna Godboley
,
S. Panda
,
D. Mohapatra
International Conference on Distributed Computing…
2015
Corpus ID: 33704556
In this paper we propose a framework to compute MC/DC percentage for distributed test case generation. MC/DC stands for Modified…
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
2011
2011
Target-Directed Concolic Testing
Cui Zhan
2011
Corpus ID: 63906606
Concolic testing is an automatic testing technique which combines concrete execution and symbolic execution together.Concolic…
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