P. Godefroid, and P. Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, page 332--342. London, UK, Springer-Verlag, (1992)
M. Bobaru, C. Pasareanu, and D. Giannakopoulou. CAV '08: Proceedings of the 20th international conference on Computer Aided Verification, page 135--148. Berlin, Heidelberg, Springer-Verlag, (2008)