| Static Detection of Security Vulnerabilities in Scripting Languages. Y Xie, A Aiken USENIX Security Symposium 15, 179-192, 2006 | 548 | 2006 |
| A system and language for building system-specific, static analyses S Hallem, B Chelf, Y Xie, D Engler Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002 | 471 | 2002 |
| Archer: using symbolic, path-sensitive analysis to detect memory access errors Y Xie, A Chou, D Engler Proceedings of the 9th European software engineering conference held jointly …, 2003 | 348 | 2003 |
| Scalable error detection using boolean satisfiability Y Xie, A Aiken Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 286 | 2005 |
| Saturn: A scalable framework for error detection using boolean satisfiability Y Xie, A Aiken ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (3), 16-es, 2007 | 209 | 2007 |
| Context-and path-sensitive memory leak detection Y Xie, A Aiken Proceedings of the 10th European software engineering conference held …, 2005 | 199 | 2005 |
| Zing: A model checker for concurrent software T Andrews, S Qadeer, SK Rajamani, J Rehof, Y Xie Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 166 | 2004 |
| Saturn: A SAT-based tool for bug detection Y Xie, A Aiken Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 92 | 2005 |
| Zing: Exploiting program structure for model checking concurrent software T Andrews, S Qadeer, SK Rajamani, J Rehof, Y Xie CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004 | 83 | 2004 |
| MECA: an extensible, expressive system and language for statically checking security properties J Yang, T Kremenek, Y Xie, D Engler Proceedings of the 10th ACM conference on Computer and communications …, 2003 | 77 | 2003 |
| Using redundancies to find errors Y Xie, D Engler Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software …, 2002 | 64 | 2002 |
| Object-based systematic state space exploration of software AD Andrews, S Qadeer, NJ Rehof, SK Rajamani, Y Xie US Patent 7,526,750, 2009 | 49 | 2009 |
| Using redundancies to find errors Y Xie, D Engler IEEE Transactions on Software Engineering 29 (10), 915-928, 2003 | 46 | 2003 |
| Soundness and its role in bug detection systems Y Xie, M Naik, B Hackett, A Aiken Proc. of the Workshop on the Evaluation of Software Defect Detection Tools 7, 2005 | 21 | 2005 |
| Path sensitive program analysis using boolean satisfiability Y Xie, A Chou Technical report, 2002 | 9 | 2002 |
| Static detection of software errors Y Xie Stanford University, 2006 | 7 | 2006 |
| ARCHER: An Automated Tool for Detecting Buffer Access Errors Y Xie, A Chou Hardware, 59, 2003 | 6 | 2003 |
| Static Detection of Software Errors: Precise and Scalable Algorithms for Automatic Detection of Software Errors Y Xie AV Akademikerverlag, 2012 | | 2012 |
