Open AccessDirected incremental symbolic execution
Author(s) -
Suzette Person,
Guowei Yang,
Neha Rungta,
Sarfraz Khurshid
Publication year - 2011
Publication title -
acm sigplan notices
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/1993316.1993558
Subject(s) - computer science , symbolic execution , program analysis , scalability , concolic testing , static analysis , scope (computer science) , bounding overwatch , symbolic data analysis , execution time , novelty , context (archaeology) , programming language , symbolic trajectory evaluation , theoretical computer science , parallel computing , software , model checking , artificial intelligence , database , paleontology , philosophy , theology , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom