Matthew Dwyer

• Model Checking Software
• Proceedings of the 2002 ACM Sigplan-Sigsoft Workshop on Program Analysis for Software Tools and Engineering, Paste'02
• Proceedings of the 2011 International Symposium on Software Testing and Analysis