Parallel Test Generation and Execution with Korat

Sasa Misailovic
Aleksandar Milicevic
Nemanja Petrovic
Sarfraz Khurshid
Darko Marinov
Proc. 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM, Dubrovnik, Croatia (2007)

Abstract

Research Areas