dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Christoph Csallner Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDazhi 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWenhua 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Csallner, Leonidas Fegaras, Chengkai Li: New ideas track: testing mapreduce-style programs. SIGSOFT FSE 2011: 504-507
2010
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChengkai Li, Christoph Csallner: Dynamic symbolic database application testing. DBTest 2010
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDazhi 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIshtiaque Hussain, Christoph Csallner: Dynamic symbolic data structure repair. ICSE (2) 2010: 215-218
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Grechanik, Christoph Csallner, Chen Fu, Qing Xie: Is Data Privacy Always Good for Software Testing? ISSRE 2010: 368-377
2009
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Smaragdakis, Christoph Csallner, Ranjith Subramanian: Scalable satisfiability checking and test data generation from modeling diagrams. Autom. Softw. Eng. 16(1): 73-99 (2009)
2008
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Csallner, Nikolai Tillmann, Yannis Smaragdakis: DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Csallner, Yannis Smaragdakis, Tao Xie: DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. 17(2): (2008)
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Smaragdakis, Christoph Csallner, Ranjith Subramanian: Scalable automatic test data generation from modeling diagrams. ASE 2007: 4-13
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYannis Smaragdakis, Christoph Csallner: Combining Static and Dynamic Reasoning for Bug Detection. TAP 2007: 1-16
2006
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Csallner, Yannis Smaragdakis: Dynamically discovering likely interface invariants. ICSE 2006: 861-864
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Csallner, Yannis Smaragdakis: DSD-Crasher: a hybrid analysis tool for bug finding. ISSTA 2006: 245-254
2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Csallner, Yannis Smaragdakis: Check 'n' crash: combining static checking and testing. ICSE 2005: 422-431
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Csallner, Yannis Smaragdakis: JCrasher: an automatic robustness tester for Java. Softw., Pract. Exper. 34(11): 1025-1050 (2004)
2003
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Csallner, Marcus Handte, Othmar Lehmann, John T. Stasko: FundExplorer: Supporting the Diversification of Mutual Fund Portfolios Using Context Treemaps. INFOVIS 2003: 203-208

Coauthor Index

1Leonidas Fegaras [15]
2Chen Fu [11]
3Mark Grechanik [11]
4Marcus Handte [1]
5Ishtiaque Hussain [12]
6Raghu Kacker [16]
7Rick Kuhn [16]
8David Chenho Kung (Chenho Kung) [13] [16] [17]
9Othmar Lehmann [1]
10Yu Lei [13] [16] [17]
11Chengkai Li [14] [15]
12Donggang Liu [13] [16] [17]
13Nathaniel Nystrom [17]
14Yannis Smaragdakis [2] [3] [4] [5] [6] [7] [8] [9] [10]
15John T. Stasko [1]
16Ranjith Subramanian [7] [10]
17Nikolai Tillmann [9]
18Wenhua Wang [13] [16] [17]
19Qing Xie [11]
20Tao Xie [8]
21Dazhi Zhang [13] [16] [17]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page