☰

Yichen Xie, Ph.D. - Publications

Affiliations: 
2006 Stanford University, Palo Alto, CA 
Tree Info Similar researchers PubMed Report error

2 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2007 Xie Y, Aiken A. Saturn: A scalable framework for error detection using Boolean satisfiability Acm Transactions On Programming Languages and Systems. 29: 16. DOI: 10.1145/1232420.1232423  0.349
2003 Xie Y, Engler D. Using redundancies to find errors Ieee Transactions On Software Engineering. 29: 915-928. DOI: 10.1109/Tse.2003.1237172  0.341
Show low-probability matches.