Powered by
33rd International Conference on Software Engineering,
May 21–28, 2011,
Waikiki, Honolulu, HI, USA
Impact Project Focus Area
Symbolic Execution for Software Testing in Practice -- Preliminary Assessment
Cristian Cadar , Patrice Godefroid, Sarfraz Khurshid,
Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, and
Willem Visser
(Imperial College London, UK; Microsoft Research, USA; University of Texas at Austin, USA; CMU, USA; NASA Ames Research Center, USA; UC Berkeley, USA; Stellenbosch University, South Africa)
proc time: 0.01