Author

SUNScholar Research Repository

Author

Sort by: Order: Results:

  • Cadar C.   Godefroid P.   Khurshid S.   Pasareanu C.S.   Sen K.   Tillmann N.   Visser W. (2011)
    We present results for the "Impact Project Focus Area" on the topic of symbolic execution as used in software testing. Symbolic execution is a program analysis technique introduced in the 70s that has received renewed ...