Finding common ground: choose, assert, and assume

Alex Groce, Martin Erwig. Finding common ground: choose, assert, and assume. In Eric Bodden, Madanlal Musuvathi, editors, Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012. pages 12-17, ACM, 2012. [doi]

Authors

Alex Groce

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

Martin Erwig

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