Online testing with model programs

Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann. Online testing with model programs. In Michel Wermelinger, Harald Gall, editors, Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005. pages 273-282, ACM, 2005. [doi]

Authors

Margus Veanes

This author has not been identified. Look up 'Margus Veanes' in Google

Colin Campbell

This author has not been identified. Look up 'Colin Campbell' in Google

Wolfram Schulte

Identified as Wolfram Schulte

Nikolai Tillmann

This author has not been identified. Look up 'Nikolai Tillmann' in Google