| 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 | 258 | 2008 |
| 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 | 107 | 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 | 98 | 2004 |
| 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 | 85 | 2004 |
| Using visual techniques to manipulate data GG Robertson, DA Fisher, B Lee, RL Fernandez, LB Nachmanson, ... US Patent 8,358,308, 2013 | 79 | 2013 |
| Improving layered graph layouts with edge bundling S Pupyrev, L Nachmanson, M Kaufmann Graph Drawing: 18th International Symposium, GD 2010, Konstanz, Germany …, 2011 | 72 | 2011 |
| Programming Z3 N Bjørner, L de Moura, L Nachmanson, CM Wintersteiger Engineering Trustworthy Software Systems: 4th International School, SETSS …, 2019 | 64 | 2019 |
| Edge routing with ordered bundles S Pupyrev, L Nachmanson, S Bereg, AE Holroyd Graph Drawing: 19th International Symposium, GD 2011, Eindhoven, The …, 2012 | 61 | 2012 |
| Play to test A Blass, Y Gurevich, L Nachmanson, M Veanes Formal Approaches to Software Testing: 5th International Workshop, FATES …, 2006 | 56 | 2006 |
| Testing concurrent object-oriented systems with Spec Explorer C Campbell, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ... FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005 | 55 | 2005 |
| Visualizing relationships among components using grouping information C Pich, LB Nachmanson, GG Robertson US Patent 8,499,284, 2013 | 54 | 2013 |
| Drawing graphs with GLEE L Nachmanson, G Robertson, B Lee Graph Drawing: 15th International Symposium, GD 2007, Sydney, Australia …, 2008 | 39 | 2008 |
| Conformance testing of multi-threaded and distributed software systems CL Campbell, LB Nachmanson, M Veanes, M Barnett, N Tillmann, ... US Patent 7,747,985, 2010 | 38 | 2010 |
| Fast edge-routing for large graphs T Dwyer, L Nachmanson International Symposium on Graph Drawing, 147-158, 2009 | 32 | 2009 |
| Model-based testing with AsmL .NET M Barnett, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ... 1st European Conference on Model-Driven Software Engineering, 12-19, 2003 | 32 | 2003 |
| Tool-based iterative document management M Barnett, JL Reid, M Veanes, LB Nachmanson US Patent 7,337,388, 2008 | 31 | 2008 |
| Monadic decomposition M Veanes, N Bjørner, L Nachmanson, S Bereg Journal of the ACM (JACM) 64 (2), 1-28, 2017 | 29 | 2017 |
| Creation of content versions using content layers LB Nachmanson, M Veanes US Patent 7,284,235, 2007 | 29 | 2007 |
| Generating test cases for software with complex preconditions N Tillman, CL Campbell, W Grieskamp, LB Nachmanson, W Schulte, ... US Patent 7,665,072, 2010 | 27 | 2010 |
| Extending test sequences to accepting states A Blass, CL Campbell, LB Nachmanson, M Veanes, M Barnett, N Tillmann, ... US Patent 7,493,544, 2009 | 27 | 2009 |
