Work

Regular Property Guided Dynamic Symbolic Execution

Year: 2015

Type: conference-paper

Source: ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI: 10.1109/icse.2015.80

Authors: Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu

Institutions: National University of Defense Technology, Birmingham City University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4246117430

FWCI: 2.821

Cites: 47

Cited by: 35

Related to: 10