2009
DOI: 10.1007/s10009-009-0118-1
|View full text |Cite
|
Sign up to set email alerts
|

A survey of new trends in symbolic execution for software testing and analysis

Abstract: Symbolic execution is a well-known program analysis technique which represents program inputs with symbolic values instead of concrete, initialized, data and executes the program by manipulating program expressions involving the symbolic values. Symbolic execution has been proposed over three decades ago but recently it has found renewed interest in the research community, due in part to the progress in decision procedures, availability of powerful computers and new algorithmic developments. We provide here a … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
97
0
4

Year Published

2013
2013
2022
2022

Publication Types

Select...
6
1

Relationship

0
7

Authors

Journals

citations
Cited by 183 publications
(101 citation statements)
references
References 63 publications
0
97
0
4
Order By: Relevance
“…A number of automated test input generation techniques have been extensively explored, developed, and applied in academia, research labs, and industry. These techniques include random testing [3], symbolic execution [112], dynamic symbolic execution [29], search-based testing [87], and the chaining approach [52]. Noticeably, recent years have the development of techniques that have been applied to test industrial-scale software systems and which have uncovered many serious subtle bugs and security vulnerability defects in the Windows [66] and Linux [93] operating systems, saving millions of dollars [15].…”
Section: Test Input Generationmentioning
confidence: 99%
See 3 more Smart Citations
“…A number of automated test input generation techniques have been extensively explored, developed, and applied in academia, research labs, and industry. These techniques include random testing [3], symbolic execution [112], dynamic symbolic execution [29], search-based testing [87], and the chaining approach [52]. Noticeably, recent years have the development of techniques that have been applied to test industrial-scale software systems and which have uncovered many serious subtle bugs and security vulnerability defects in the Windows [66] and Linux [93] operating systems, saving millions of dollars [15].…”
Section: Test Input Generationmentioning
confidence: 99%
“…These techniques include random testing [3], symbolic execution [112], dynamic symbolic execution [26], [62], [124], search-based testing [87], and the chaining approach [52]. The theoretical foundation of dynamic symbolic execution and the chaining approach is separately presented in chapters 3 and 4, respectively.…”
Section: Publicationsmentioning
confidence: 99%
See 2 more Smart Citations
“…While different approaches exist towards the automatic generation of test data, symbolic execution [5] has been recognised as a state-of-art technique for so-called white-box structural test data generation [6,7,8,9,10]. In such an approach, the idea is to generate test data that in some way cover a sufficiently large part of the control-flow graph of the code unit under test [4].…”
Section: Introductionmentioning
confidence: 99%