 | 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 |
