Steering symbolic execution to less traveled paths
Year: 2013
Type: article
Source: ACM SIGPLAN Notices
Authors: You Li, Zhendong Su, Linzhang Wang, Xuandong Li
Institutions: Nanjing University, University of California, Davis
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W3011209520