Work

Symbolic path simulation in path-sensitive dataflow analysis

Year: 2005

Type: conference-paper

Source: ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE)

DOI: 10.1145/1108792.1108808

Authors: Hari Hampapuram, Yue Yang, Manuvir Das

Institution: Microsoft (United States)

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4237192145

FWCI: 0.72

Cites: 13

Cited by: 11

Related to: 10