 | 2012 |
| 17 |  | Dazhi Zhang,
Donggang Liu,
Yu Lei,
David Chenho Kung,
Christoph Csallner,
Nathaniel Nystrom,
Wenhua Wang:
SimFuzz: Test case similarity directed deep fuzzing.
Journal of Systems and Software 85(1): 102-111 (2012) |
| 2011 |
| 16 |  | Wenhua Wang,
Yu Lei,
Donggang Liu,
David Chenho Kung,
Christoph Csallner,
Dazhi Zhang,
Raghu Kacker,
Rick Kuhn:
A combinatorial approach to detecting buffer overflow vulnerabilities.
DSN 2011: 269-278 |
| 15 |  | Christoph Csallner,
Leonidas Fegaras,
Chengkai Li:
New ideas track: testing mapreduce-style programs.
SIGSOFT FSE 2011: 504-507 |
| 2010 |
| 14 |  | Chengkai Li,
Christoph Csallner:
Dynamic symbolic database application testing.
DBTest 2010 |
| 13 |  | Dazhi Zhang,
Donggang Liu,
Yu Lei,
David Chenho Kung,
Christoph Csallner,
Wenhua Wang:
Detecting vulnerabilities in C programs using trace-based testing.
DSN 2010: 241-250 |
| 12 |  | Ishtiaque Hussain,
Christoph Csallner:
Dynamic symbolic data structure repair.
ICSE (2) 2010: 215-218 |
| 11 |  | Mark Grechanik,
Christoph Csallner,
Chen Fu,
Qing Xie:
Is Data Privacy Always Good for Software Testing?
ISSRE 2010: 368-377 |
| 2009 |
| 10 |  | Yannis Smaragdakis,
Christoph Csallner,
Ranjith Subramanian:
Scalable satisfiability checking and test data generation from modeling diagrams.
Autom. Softw. Eng. 16(1): 73-99 (2009) |
| 2008 |
| 9 |  | Christoph Csallner,
Nikolai Tillmann,
Yannis Smaragdakis:
DySy: dynamic symbolic execution for invariant inference.
ICSE 2008: 281-290 |
| 8 |  | Christoph Csallner,
Yannis Smaragdakis,
Tao Xie:
DSD-Crasher: A hybrid analysis tool for bug finding.
ACM Trans. Softw. Eng. Methodol. 17(2): (2008) |
| 2007 |
| 7 |  | Yannis Smaragdakis,
Christoph Csallner,
Ranjith Subramanian:
Scalable automatic test data generation from modeling diagrams.
ASE 2007: 4-13 |
| 6 |  | Yannis Smaragdakis,
Christoph Csallner:
Combining Static and Dynamic Reasoning for Bug Detection.
TAP 2007: 1-16 |
| 2006 |
| 5 |  | Christoph Csallner,
Yannis Smaragdakis:
Dynamically discovering likely interface invariants.
ICSE 2006: 861-864 |
| 4 |  | Christoph Csallner,
Yannis Smaragdakis:
DSD-Crasher: a hybrid analysis tool for bug finding.
ISSTA 2006: 245-254 |
| 2005 |
| 3 |  | Christoph Csallner,
Yannis Smaragdakis:
Check 'n' crash: combining static checking and testing.
ICSE 2005: 422-431 |
| 2004 |
| 2 |  | Christoph Csallner,
Yannis Smaragdakis:
JCrasher: an automatic robustness tester for Java.
Softw., Pract. Exper. 34(11): 1025-1050 (2004) |
| 2003 |
| 1 |  | Christoph Csallner,
Marcus Handte,
Othmar Lehmann,
John T. Stasko:
FundExplorer: Supporting the Diversification of Mutual Fund Portfolios Using Context Treemaps.
INFOVIS 2003: 203-208 |