Learning-Based Test Programming for Programmers

Alex Groce, Alan Fern, Martin Erwig, Jervis Pinto, Tim Bauer, Mohammad Amin Alipour. Learning-Based Test Programming for Programmers. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Volume 7609 of Lecture Notes in Computer Science, pages 572-586, Springer, 2012. [doi]

Authors

Alex Groce

This author has not been identified. Look up 'Alex Groce' in Google

Alan Fern

This author has not been identified. Look up 'Alan Fern' in Google

Martin Erwig

This author has not been identified. It may be one of the following persons: Look up 'Martin Erwig' in Google

Jervis Pinto

This author has not been identified. Look up 'Jervis Pinto' in Google

Tim Bauer

This author has not been identified. Look up 'Tim Bauer' in Google

Mohammad Amin Alipour

This author has not been identified. Look up 'Mohammad Amin Alipour' in Google