Differential symbolic execution

Person, Suzette; Dwyer, Matthew B.; Elbaum, Sebastian; Pasareanu, Corina S.

doi:10.1145/1453101.1453131

Record: found
Abstract: not found
Conference Proceedings: not found

Differential symbolic execution

proceedings-article

Author(s): Suzette Person , Matthew B. Dwyer , Sebastian Elbaum , Corina S. Pǎsǎreanu

Publication date (Print): 2008

Conference name: the 16th ACM SIGSOFT International Symposium (SIGSOFT '08/FSE-16)

Conference date: December 09, 2008 - December 14, 2008

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): 2008

Page: 226

Article

DOI: 10.1145/1453101.1453131

SO-VID: 10888e06-237b-4bac-86e7-81e2dabb21f4

Conference name: the 16th ACM SIGSOFT International Symposium

Conference acronym: SIGSOFT '08/FSE-16

Conference number: 16

Conference location: Atlanta, Georgia

Conference date: December 09, 2008 - December 14, 2008

Conference sponsor: SIGSOFT, ACM Special Interest Group on Software Engineering

History

Data availability:

Comments

Comment on this article

scite_

Cited by 14

See all cited by

Differential symbolic execution

Read this article at

Related collections

Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory

Author and article information

Conference

Article

History

Comments

Comment on this article

Similar content 1,077

Cited by 14