Search results for "Christoph Csallner"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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	2012	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Christoph Csallner, Leonidas Fegaras, Chengkai Li	New ideas track: testing mapreduce-style programs.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
1	Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang	Detecting vulnerabilities in C programs using trace-based testing.	DSN	2010	DBLP DOI BibTeX RDF
1	Chengkai Li, Christoph Csallner	Dynamic symbolic database application testing.	DBTest	2010	DBLP DOI BibTeX RDF	test case generation, dynamic symbolic execution
1	Mark Grechanik, Christoph Csallner, Chen Fu, Qing Xie	Is Data Privacy Always Good for Software Testing?	ISSRE	2010	DBLP DOI BibTeX RDF
1	Ishtiaque Hussain, Christoph Csallner	Dynamic symbolic data structure repair.	ICSE	2010	DBLP DOI BibTeX RDF	data structure invariants, data structure repair, dynamic symbolic execution
1	Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian	Scalable satisfiability checking and test data generation from modeling diagrams.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Modeling, Testing, Databases, NP-hardness, Test data generation, ORM, ORM-
1	Christoph Csallner, Yannis Smaragdakis, Tao Xie	DSD-Crasher: A hybrid analysis tool for bug finding.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, Automatic testing, test case generation, false positives, bug finding, extended static checking, dynamic invariant detection
1	Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis	DySy: dynamic symbolic execution for invariant inference.	ICSE	2008	DBLP DOI BibTeX RDF	daikon, dynamic invariant inference, dysy, pex, symbolic reasoning
1	Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian	Scalable automatic test data generation from modeling diagrams.	ASE	2007	DBLP DOI BibTeX RDF	ORM-modeling, test databases, NP-hardness, ORM
1	Yannis Smaragdakis, Christoph Csallner	Combining Static and Dynamic Reasoning for Bug Detection.	TAP	2007	DBLP DOI BibTeX RDF
1	Christoph Csallner, Yannis Smaragdakis	DSD-Crasher: a hybrid analysis tool for bug finding.	ISSTA	2006	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, automatic testing, test case generation, false positives, bug finding, extended static checking, dynamic invariant detection
1	Christoph Csallner, Yannis Smaragdakis	Dynamically discovering likely interface invariants.	ICSE	2006	DBLP DOI BibTeX RDF	invariant detection, method overriding, interfaces, dynamic analysis
1	Christoph Csallner, Yannis Smaragdakis	Check 'n' crash: combining static checking and testing.	ICSE	2005	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, automatic testing, test case generation, extended static checking
1	Christoph Csallner, Yannis Smaragdakis	JCrasher: an automatic robustness tester for Java.	Softw., Pract. Exper.	2004	DBLP DOI BibTeX RDF
1	Christoph Csallner, Marcus Handte, Othmar Lehmann, John T. Stasko	FundExplorer: Supporting the Diversification of Mutual Fund Portfolios Using Context Treemaps.	INFOVIS	2003	DBLP DOI BibTeX RDF	FundExplorer, information visualization, context, query, distortion, treemap, stock market, financial data

Publications of "Christoph Csallner" ( http://dblp.L3S.de/Authors/Christoph_Csallner )