Skip to main content
Conference Proceedings

Concolic testing and constraint satisfaction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2011) 6695 LNCS 3-4
DOI: 10.1007/978-3-642-21581-0_2
3Citations
Citations of this article
14Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Software testing is the most common technique used in industry to improve reliability and quality of software. Unfortunately, testing is mostly a manual process that reportedly accounts for over half of the typical cost of software development and maintenance. Symbolic execution [6,2,3,9,5] was proposed in the 70s to automate software testing by generating test inputs. © 2011 Springer-Verlag.

Cite

CITATION STYLE

APA

Sen, K. (2011). Concolic testing and constraint satisfaction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6695 LNCS, pp. 3–4). https://doi.org/10.1007/978-3-642-21581-0_2

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free