- Dynamically Discovering Likely Interface Invariants Christoph Csallner, Yannis Smaragdakis
- Scalable Automatic Test Data Generation from Modeling Diagrams
- Combining Static and Dynamic Reasoning for Bug Detection
- Managing Performance Testing with Release Certification and Data Correlation
- Is Data Privacy Always Good For Software Testing? Mark Grechanik
- DSD-Crasher: A Hybrid Analysis Tool for Bug Finding
- Syllabus for CSE 6329, Fall 2008 Special Topics in Advanced Software Engineering
- DySy: Dynamic Symbolic Execution for Invariant Inference Christoph Csallner
- DSDSR: A Tool that Uses Dynamic Symbolic Execution for Data Structure Repair
- Detecting Vulnerabilities in C Programs Using Trace-Based Testing Dazhi Zhang, Donggang Liu, Yu Lei, David Kung, Christoph Csallner, and Wenhua Wang
- Check 'n' Crash: Combining Static Checking and Testing Christoph Csallner, Yannis Smaragdakis
- Dynamic Symbolic Data Structure Repair Ishtiaque Hussain, Christoph Csallner
- Dynamic Symbolic Database Application Testing Chengkai Li, Christoph Csallner
- FundExplorer: Supporting the Diversification of Mutual Fund Portfolios Using Context Treemaps
- DSD-Crasher: A Hybrid Analysis Tool for Bug Finding Christoph Csallner, Yannis Smaragdakis
- CSE 5324 -Software Engineering: Analysis, Design, and Testing Fall 2010, Section 001, Class Number 84129
- CSE 5324 -Software Engineering: Analysis, Design, and Testing Spring 2010, Section 001-LEC, 23810
- CSE 6329 -Special Topics in Advanced Software Engineering Spring 2011, Section 001, Class Number 23307
- SOFTWARE--PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2004; 34:10251050 Prepared using speauth.cls [Version: 2002/09/23 v2.2]
- New Ideas Track: Testing MapReduce-Style Programs Christoph Csallner
- CSE 5324 -Software Engineering: Analysis, Design, and Testing Fall 2011, Section 001, Class Number 82249
- CSE 5324 -Software Engineering: Analysis, Design, and Testing Spring 2011, Section 001, Class Number 23150
- CSE 6329: Special Topics in Advanced Software Engineering
