| Generating finite state machines from abstract state machines W Grieskamp, Y Gurevich, W Schulte, M Veanes Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002 | 273 | 2002 |
| Model-based testing of object-oriented reactive systems with Spec Explorer M Veanes, C Campbell, W Grieskamp, W Schulte, N Tillmann, ... Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008 | 253 | 2008 |
| Fast and Precise Sanitizer Analysis with BEK. P Hooimeijer, B Livshits, D Molnar, P Saxena, M Veanes USENIX Security Symposium 58, 2011 | 197 | 2011 |
| Rex: Symbolic regular expression explorer M Veanes, P De Halleux, N Tillmann 2010 Third International Conference on Software Testing, Verification and …, 2010 | 190 | 2010 |
| Symbolic finite state transducers: Algorithms and applications M Veanes, P Hooimeijer, B Livshits, D Molnar, N Bjorner Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 179 | 2012 |
| Model-based software testing and analysis with C J Jacky, M Veanes, C Campbell, W Schulte Cambridge University Press, 2007 | 144 | 2007 |
| Minimization of symbolic automata L D'Antoni, M Veanes Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 113 | 2014 |
| The two-variable guarded fragment with transitive relations H Ganzinger, C Meyer, M Veanes Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 109 | 1999 |
| Model-based testing of object-oriented reactive systems with Spec Explorer C Campbell, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ... Technical Report MSR-TR-2005-59, Microsoft Research, 2005 | 104 | 2005 |
| Optimal strategies for testing nondeterministic systems L Nachmanson, M Veanes, W Schulte, N Tillmann, W Grieskamp ACM SIGSOFT Software Engineering Notes 29 (4), 55-64, 2004 | 94 | 2004 |
| Online testing with model programs M Veanes, C Campbell, W Schulte, N Tillmann Proceedings of the 10th European software engineering conference held …, 2005 | 86 | 2005 |
| Towards a tool environment for model-based testing with AsmL M Barnett, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ... Formal Approaches to Software Testing: Third International Workshop on …, 2004 | 86 | 2004 |
| An evaluation of automata algorithms for string analysis P Hooimeijer, M Veanes Verification, Model Checking, and Abstract Interpretation: 12th …, 2011 | 81 | 2011 |
| Qex: Symbolic SQL Query Explorer. M Veanes, N Tillmann, J De Halleux LPAR (Dakar) 6355, 425-446, 2010 | 76 | 2010 |
| Abstract communication model for distributed systems U Glasser, Y Gurevich, M Veanes IEEE Transactions on Software Engineering 30 (7), 458-472, 2004 | 75 | 2004 |
| The power of symbolic automata and transducers L D’Antoni, M Veanes Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 74 | 2017 |
| On the undecidability of second-order unification J Levy, M Veanes Information and Computation 159 (1-2), 125-150, 2000 | 68 | 2000 |
| Applications of symbolic finite automata M Veanes Implementation and Application of Automata: 18th International Conference …, 2013 | 64 | 2013 |
| Program boosting: Program synthesis via crowd-sourcing RA Cochran, L D'Antoni, B Livshits, D Molnar, M Veanes Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 62 | 2015 |
| Diagnosing problems in distributed systems S Sen, JM Joy, N Tillmann, CL Campbell, M Veanes US Patent 7,548,911, 2009 | 62 | 2009 |
