2008 |
9 | EE | Christoph Csallner,
Nikolai Tillmann,
Yannis Smaragdakis:
DySy: dynamic symbolic execution for invariant inference.
ICSE 2008: 281-290 |
8 | EE | 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 | EE | Yannis Smaragdakis,
Christoph Csallner,
Ranjith Subramanian:
Scalable automatic test data generation from modeling diagrams.
ASE 2007: 4-13 |
6 | EE | Yannis Smaragdakis,
Christoph Csallner:
Combining Static and Dynamic Reasoning for Bug Detection.
TAP 2007: 1-16 |
2006 |
5 | EE | Christoph Csallner,
Yannis Smaragdakis:
Dynamically discovering likely interface invariants.
ICSE 2006: 861-864 |
4 | EE | Christoph Csallner,
Yannis Smaragdakis:
DSD-Crasher: a hybrid analysis tool for bug finding.
ISSTA 2006: 245-254 |
2005 |
3 | EE | Christoph Csallner,
Yannis Smaragdakis:
Check 'n' crash: combining static checking and testing.
ICSE 2005: 422-431 |
2004 |
2 | EE | Christoph Csallner,
Yannis Smaragdakis:
JCrasher: an automatic robustness tester for Java.
Softw., Pract. Exper. 34(11): 1025-1050 (2004) |
2003 |
1 | EE | Christoph Csallner,
Marcus Handte,
Othmar Lehmann,
John T. Stasko:
FundExplorer: Supporting the Diversification of Mutual Fund Portfolios Using Context Treemaps.
INFOVIS 2003 |