Parallel test generation and execution with Korat

Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov. Parallel test generation and execution with Korat. In Ivica Crnkovic, Antonia Bertolino, editors, Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007. pages 135-144, ACM, 2007. [doi]

Authors

Sasa Misailovic

This author has not been identified. Look up 'Sasa Misailovic' in Google

Aleksandar Milicevic

This author has not been identified. Look up 'Aleksandar Milicevic' in Google

Nemanja Petrovic

This author has not been identified. Look up 'Nemanja Petrovic' in Google

Sarfraz Khurshid

This author has not been identified. Look up 'Sarfraz Khurshid' in Google

Darko Marinov

This author has not been identified. Look up 'Darko Marinov' in Google