| The SLAM project: debugging system software via static analysis T Ball, SK Rajamani Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 1259 | 2002 |
| Feedback-directed random test generation C Pacheco, SK Lahiri, MD Ernst, T Ball 29th International Conference on Software Engineering (ICSE'07), 75-84, 2007 | 1130 | 2007 |
| Automatic predicate abstraction of C programs T Ball, R Majumdar, T Millstein, SK Rajamani Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001 | 1125 | 2001 |
| Use of relative code churn measures to predict system defect density N Nagappan, T Ball Proceedings of the 27th international conference on Software engineering …, 2005 | 1117 | 2005 |
| Mining metrics to predict component failures N Nagappan, T Ball, A Zeller Proceedings of the 28th international conference on Software engineering …, 2006 | 1110 | 2006 |
| Efficient path profiling T Ball, JR Larus Proceedings of the 29th Annual IEEE/ACM International Symposium on …, 1996 | 982 | 1996 |
| Automatically validating temporal safety properties of interfaces T Ball, SK Rajamani International SPIN Workshop on Model Checking of Software, 102-122, 2001 | 875 | 2001 |
| Optimally profiling and tracing programs T Ball, JR Larus ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (4), 1319-1360, 1994 | 806 | 1994 |
| Finding and Reproducing Heisenbugs in Concurrent Programs. M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu OSDI 8 (2008), 2008 | 741 | 2008 |
| Exploiting hardware performance counters with flow and context sensitive profiling G Ammons, T Ball, JR Larus ACM Sigplan Notices 32 (5), 85-96, 1997 | 691 | 1997 |
| Software visualization in the large T Ball, SG Eick Computer 29 (4), 33-43, 1996 | 638 | 1996 |
| Bebop: A symbolic model checker for boolean programs T Ball, SK Rajamani SPIN Model Checking and Software Verification: 7th International SPIN …, 2000 | 539 | 2000 |
| Thorough static analysis of device drivers T Ball, E Bounimova, B Cook, V Levin, J Lichtenberg, C McGarvey, ... ACM SIGOPS Operating Systems Review 40 (4), 73-85, 2006 | 533 | 2006 |
| Method and apparatus for tracking and viewing changes on the web TJ Ball, F Douglis US Patent 6,366,933, 2002 | 506 | 2002 |
| The concept of dynamic analysis T Ball ACM SIGSOFT Software Engineering Notes 24 (6), 216-234, 1999 | 486 | 1999 |
| Branch prediction for free T Ball, JR Larus ACM SIGPLAN Notices 28 (6), 300-313, 1993 | 474 | 1993 |
| Boolean and Cartesian abstraction for model checking C programs T Ball, A Podelski, SK Rajamani Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001 | 460 | 2001 |
| SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft T Ball, B Cook, V Levin, SK Rajamani Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004 | 453 | 2004 |
| From symptom to cause: localizing errors in counterexample traces T Ball, M Naik, SK Rajamani Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003 | 442 | 2003 |
| The SLAM toolkit T Ball, SK Rajamani Proceedings of CAV’2001 (13th Conference on Computer Aided Verification …, 2000 | 431 | 2000 |
Sriram RajamaniMicrosoft Research 在 microsoft.com 的电子邮件经过验证
