Now showing items 1-1 of 1

    • Symbolic execution for software testing in practice - Preliminary assessment 

      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 ...