Work

Directed Incremental Symbolic Execution

Year: 2014

Type: article

Source: ACM Transactions on Software Engineering and Methodology

DOI: 10.1145/2629536

Authors: Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid

Institutions: Texas State University, Langley Research Center, Ames Research Center, The University of Texas at Austin

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: Division of Computing and Communication Foundations, Division of Computer and Network Systems, Division of Information and Intelligent Systems, Air Force Office of Scientific Research

Awards: G4700703215, G4995488107, G502530378, G7160327619

OpenAlex ID: W2006860739

FWCI: 10.49

Cites: 54

Cited by: 44

Related to: 10