| Patterns in property specifications for finite-state verification MB Dwyer, GS Avrunin, JC Corbett Proceedings of the 21st international conference on Software engineering …, 1999 | 2089 | 1999 |
| Bandera: Extracting finite-state models from Java source code JC Corbett, MB Dwyer, J Hatcliff, S Laubach, CS Păsăreanu, Robby, ... Proceedings of the 22nd international conference on Software engineering …, 2000 | 1581 | 2000 |
| Property specification patterns for finite-state verification MB Dwyer, GS Avrunin, JC Corbett Proceedings of the second workshop on Formal methods in software practice, 7-15, 1998 | 717 | 1998 |
| Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach MB Cohen, MB Dwyer, J Shi IEEE Transactions on Software Engineering 34 (5), 633-650, 2008 | 397 | 2008 |
| Differential symbolic execution S Person, MB Dwyer, S Elbaum, CS Pǎsǎreanu Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008 | 344 | 2008 |
| Bogor: an extensible and highly-modular software model checking framework Robby, MB Dwyer, J Hatcliff ACM SIGSOFT Software Engineering Notes 28 (5), 267-276, 2003 | 341 | 2003 |
| Interaction testing of highly-configurable systems in the presence of constraints MB Cohen, MB Dwyer, J Shi Proceedings of the 2007 international symposium on Software testing and …, 2007 | 320 | 2007 |
| Slicing software for model construction J Hatcliff, MB Dwyer, H Zheng Higher-order and symbolic computation 13, 315-353, 2000 | 283 | 2000 |
| Evaluating improvements to a meta-heuristic search for constrained interaction testing BJ Garvin, MB Cohen, MB Dwyer Empirical Software Engineering 16, 61-102, 2011 | 275 | 2011 |
| Cadena: An integrated development, analysis, and verification environment for component-based systems J Hatcliff, X Deng, MB Dwyer, G Jung, VP Ranganath 25th International Conference on Software Engineering, 2003. Proceedings …, 2003 | 268 | 2003 |
| Data flow analysis for verifying properties of concurrent programs MB Dwyer, LA Clarke ACM SIGSOFT Software Engineering Notes 19 (5), 62-75, 1994 | 245 | 1994 |
| Tool-supported program abstraction for finite-state verification MB Dwyer, J Hatcliff, R Joehanes, S Laubach, CS Pasreanu, RH Zheng, ... Proceedings of the 23rd International Conference on Software Engineering …, 2001 | 203 | 2001 |
| Green: reducing, reusing and recycling constraints in program analysis W Visser, J Geldenhuys, MB Dwyer Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012 | 185 | 2012 |
| Using the Bandera tool set to model-check properties of concurrent Java software J Hatcliff, M Dwyer CONCUR 2001—Concurrency Theory: 12th International Conference Aalborg …, 2001 | 185 | 2001 |
| Probabilistic symbolic execution J Geldenhuys, MB Dwyer, W Visser Proceedings of the 2012 International Symposium on Software Testing and …, 2012 | 171 | 2012 |
| Coverage and adequacy in software product line testing MB Cohen, MB Dwyer, J Shi Proceedings of the ISSTA 2006 workshop on Role of software architecture for …, 2006 | 168 | 2006 |
| A formal study of slicing for multi-threaded programs with JVM concurrency primitives J Hatcliff, J Corbett, M Dwyer, S Sokolowski, H Zheng International Static Analysis Symposium, 1-18, 1999 | 161 | 1999 |
| Assume-guarantee model checking of software: A comparative case study CS Păsăreanu, MB Dwyer, M Huth International SPIN Workshop on Model Checking of Software, 168-183, 1999 | 142 | 1999 |
| Automated environment generation for software model checking O Tkachuk, MB Dwyer, CS Pasareanu 18th IEEE International Conference on Automated Software Engineering, 2003 …, 2003 | 132 | 2003 |
| An improved meta-heuristic search for constrained interaction testing BJ Garvin, MB Cohen, MB Dwyer 2009 1st International Symposium on Search Based Software Engineering, 13-22, 2009 | 127 | 2009 |
John HatcliffUniversity Distinguished Professor, Department of Computing and Information Sciences, Kansas State UniversityVerified email at ksu.edu
