| 2013 | ||
|---|---|---|
| c19 | Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann: GROPG: a graphical on-phone debugger. ICSE 2013: 1189-1192 | |
| 2012 | ||
| j4 | 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) | |
| c18 | Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain: Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator. WODA 2012: 1-6 | |
| c17 | Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis: Residual investigation: predictive and precise bug detection. ISSTA 2012: 298-308 | |
| c16 | Sangmin Park, B. M. Mainul Hossain, Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Kunal Taneja, Chen Fu, Qing Xie: CarFast: achieving higher statement coverage faster. SIGSOFT FSE 2012: 35 | |
| 2011 | ||
| c15 | 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 | |
| c14 | Christoph Csallner, Leonidas Fegaras, Chengkai Li: New ideas track: testing mapreduce-style programs. SIGSOFT FSE 2011: 504-507 | |
| 2010 | ||
| c13 | 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 | |
| c12 | Ishtiaque Hussain, Christoph Csallner: Dynamic symbolic data structure repair. ICSE (2) 2010: 215-218 | |
| c11 | Mark Grechanik, Christoph Csallner, Chen Fu, Qing Xie: Is Data Privacy Always Good for Software Testing? ISSRE 2010: 368-377 | |
| c10 | Ishtiaque Hussain, Christoph Csallner: DSDSR: a tool that uses dynamic symbolic execution for data structure repair. WODA 2010: 20-25 | |
| c9 | Mainul Islam, Christoph Csallner: Dsc+Mock: a test case + mock class generator in support of coding against interfaces. WODA 2010: 26-31 | |
| c8 | ||
| 2009 | ||
| j3 | 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 | ||
| j2 | Christoph Csallner, Yannis Smaragdakis, Tao Xie: DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. 17(2) (2008) | |
| c7 | Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis: DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290 | |
| 2007 | ||
| c6 | Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian: Scalable automatic test data generation from modeling diagrams. ASE 2007: 4-13 | |
| c5 | Yannis Smaragdakis, Christoph Csallner: Combining Static and Dynamic Reasoning for Bug Detection. TAP 2007: 1-16 | |
| 2006 | ||
| c4 | Christoph Csallner, Yannis Smaragdakis: Dynamically discovering likely interface invariants. ICSE 2006: 861-864 | |
| c3 | Christoph Csallner, Yannis Smaragdakis: DSD-Crasher: a hybrid analysis tool for bug finding. ISSTA 2006: 245-254 | |
| 2005 | ||
| c2 | Christoph Csallner, Yannis Smaragdakis: Check 'n' crash: combining static checking and testing. ICSE 2005: 422-431 | |
| 2004 | ||
| j1 | Christoph Csallner, Yannis Smaragdakis: JCrasher: an automatic robustness tester for Java. Softw., Pract. Exper. 34(11): 1025-1050 (2004) | |
| 2003 | ||
| c1 | Christoph Csallner, Marcus Handte, Othmar Lehmann, John T. Stasko: FundExplorer: Supporting the Diversification of Mutual Fund Portfolios Using Context Treemaps. INFOVIS 2003: 203-208 | |
Colors in the list of coauthors
Last update Sat May 25 23:05:27 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page