Christoph Csallner Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann: GROPG: a graphical on-phone debugger. ICSE 2013: 1189-1192
2012
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis: Residual investigation: predictive and precise bug detection. ISSTA 2012: 298-308
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph Csallner, Leonidas Fegaras, Chengkai Li: New ideas track: testing mapreduce-style programs. SIGSOFT FSE 2011: 504-507
2010
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ishtiaque Hussain, Christoph Csallner: Dynamic symbolic data structure repair. ICSE (2) 2010: 215-218
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mark Grechanik, Christoph Csallner, Chen Fu, Qing Xie: Is Data Privacy Always Good for Software Testing? ISSRE 2010: 368-377
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ishtiaque Hussain, Christoph Csallner: DSDSR: a tool that uses dynamic symbolic execution for data structure repair. WODA 2010: 20-25
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Mainul Islam, Christoph Csallner: Dsc+Mock: a test case + mock class generator in support of coding against interfaces. WODA 2010: 26-31
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chengkai Li, Christoph Csallner: Dynamic symbolic database application testing. DBTest 2010
2009
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph Csallner, Yannis Smaragdakis, Tao Xie: DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. 17(2) (2008)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis: DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290
2007
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian: Scalable automatic test data generation from modeling diagrams. ASE 2007: 4-13
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yannis Smaragdakis, Christoph Csallner: Combining Static and Dynamic Reasoning for Bug Detection. TAP 2007: 1-16
2006
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph Csallner, Yannis Smaragdakis: Dynamically discovering likely interface invariants. ICSE 2006: 861-864
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph Csallner, Yannis Smaragdakis: DSD-Crasher: a hybrid analysis tool for bug finding. ISSTA 2006: 245-254
2005
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph Csallner, Yannis Smaragdakis: Check 'n' crash: combining static checking and testing. ICSE 2005: 422-431
2004
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph Csallner, Yannis Smaragdakis: JCrasher: an automatic robustness tester for Java. Softw., Pract. Exper. 34(11): 1025-1050 (2004)
2003
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph 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
[c14]
2Chen Fu
[c18] [c16] [c11]
3Mark Grechanik
[c18] [c16] [c11]
4Marcus Handte
[c1]
5B. M. Mainul Hossain
[c18] [c16]
6Ishtiaque Hussain
[c18] [c16] [c12] [c10]
7Mainul Islam
[c9]
8Raghu Kacker
[c15]
9Rick Kuhn
[c15]
10David Chenho Kung (Chenho Kung)
[j4] [c15] [c13]
11Othmar Lehmann
[c1]
12Yu Lei
[j4] [c15] [c13]
13Chengkai Li
[c14] [c8]
14Kaituo Li
[c17]
15Donggang Liu
[j4] [c15] [c13]
16Tuan Anh Nguyen
[c19]
17Nathaniel Nystrom
[j4]
18Sangmin Park
[c18] [c16]
19Christoph Reichenbach
[c17]
20Yannis Smaragdakis
[c17] [j3] [j2] [c7] [c6] [c5] [c4] [c3] [c2] [j1]
21John T. Stasko
[c1]
22Ranjith Subramanian
[j3] [c6]
23Kunal Taneja
[c18] [c16]
24Nikolai Tillmann
[c19] [c7]
25Wenhua Wang
[j4] [c15] [c13]
26Qing Xie
[c18] [c16] [c11]
27Tao Xie
[j2]
28Dazhi Zhang
[j4] [c15] [c13]

Colors in the list of coauthors

Last update Sat May 25 23:05:27 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page