FundExplorer: Supporting the Diversification of Mutual Fund Portfolios Using Context Treemaps. - Christoph Csallner; Marcus Handte; Othmar Lehmann; John T. Stasko (INFOVIS, 2003)

JCrasher: an automatic robustness tester for Java. - Christoph Csallner; Yannis Smaragdakis (Softw. Pract. Exp., 2004)

Check 'n' crash: combining static checking and testing. - Christoph Csallner; Yannis Smaragdakis (ICSE, 2005)

Dynamically discovering likely interface invariants. - Christoph Csallner; Yannis Smaragdakis (ICSE, 2006)

DSD-Crasher: a hybrid analysis tool for bug finding. - Christoph Csallner; Yannis Smaragdakis (ISSTA, 2006)

Scalable automatic test data generation from modeling diagrams. - Yannis Smaragdakis; Christoph Csallner; Ranjith Subramanian (ASE, 2007)

Combining Static and Dynamic Reasoning for Bug Detection. - Yannis Smaragdakis; Christoph Csallner (TAP, 2007)

DySy: dynamic symbolic execution for invariant inference. - Christoph Csallner; Nikolai Tillmann; Yannis Smaragdakis (ICSE, 2008)

DSD-Crasher: A hybrid analysis tool for bug finding. - Christoph Csallner; Yannis Smaragdakis; Tao Xie 001 (ACM Trans. Softw. Eng. Methodol., 2008)

Combining over- and under-approximating program analyses for automatic software testing. - Christoph Csallner (2008)

Scalable satisfiability checking and test data generation from modeling diagrams. - Yannis Smaragdakis; Christoph Csallner; Ranjith Subramanian (Autom. Softw. Eng., 2009)

Detecting vulnerabilities in C programs using trace-based testing. - Dazhi Zhang; Donggang Liu; Yu Lei 001; David Chenho Kung; Christoph Csallner; Wenhua Wang (DSN, 2010)

Dynamic symbolic data structure repair. - Ishtiaque Hussain; Christoph Csallner (ICSE (2), 2010)

Is Data Privacy Always Good for Software Testing? - Mark Grechanik; Christoph Csallner; Chen Fu; Qing Xie 003 (ISSRE, 2010)

DSDSR: a tool that uses dynamic symbolic execution for data structure repair. - Ishtiaque Hussain; Christoph Csallner (WODA, 2010)

Dsc+Mock: a test case + mock class generator in support of coding against interfaces. - Mainul Islam; Christoph Csallner (WODA, 2010)

Dynamic symbolic database application testing. - Chengkai Li 001; Christoph Csallner (DBTest, 2010)

A combinatorial approach to detecting buffer overflow vulnerabilities. - Wenhua Wang; Yu Lei 001; Donggang Liu; David Chenho Kung; Christoph Csallner; Dazhi Zhang; Raghu Kacker; Rick Kuhn (DSN, 2011)

New ideas track: testing mapreduce-style programs. - Christoph Csallner; Leonidas Fegaras; Chengkai Li 001 (SIGSOFT FSE, 2011)

An experiment in developing small mobile phone applications comparing on-phone to off-phone development. - Tuan Anh Nguyen; Sarker T. A. Rumee; Christoph Csallner; Nikolai Tillmann (USER@ICSE, 2012)

Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator. - Ishtiaque Hussain; Christoph Csallner; Mark Grechanik; Chen Fu; Qing Xie 003; Sangmin Park; Kunal Taneja; B. M. Mainul Hossain (WODA, 2012)

CarFast: achieving higher statement coverage faster. - Sangmin Park; B. M. Mainul Hossain; Ishtiaque Hussain; Christoph Csallner; Mark Grechanik; Kunal Taneja; Chen Fu; Qing Xie 003 (SIGSOFT FSE, 2012)

SimFuzz: Test case similarity directed deep fuzzing. - Dazhi Zhang; Donggang Liu; Yu Lei 001; David Chenho Kung; Christoph Csallner; Nathaniel Nystrom; Wenhua Wang (J. Syst. Softw., 2012)

GROPG: a graphical on-phone debugger. - Tuan Anh Nguyen; Christoph Csallner; Nikolai Tillmann (ICSE, 2013)

SEDGE: Symbolic example data generation for dataflow programs. - Kaituo Li; Christoph Reichenbach; Yannis Smaragdakis; Yanlei Diao; Christoph Csallner (ASE, 2013)

Mixed-Mode Malware and Its Analysis. - Shabnam Aboughadareh; Christoph Csallner; Mehdi Azarmi (PPREW@ACSAC, 2014)

A distributed framework for demand-driven software vulnerability detection. - Dazhi Zhang; Donggang Liu; Christoph Csallner; David Chenho Kung; Yu Lei 001 (J. Syst. Softw., 2014)

Generating Test Cases for Programs that Are Coded against Interfaces and Annotations. - Mainul Islam; Christoph Csallner (ACM Trans. Softw. Eng. Methodol., 2014)

Residual Investigation: Predictive and Precise Bug Detection. - Kaituo Li; Christoph Reichenbach; Christoph Csallner; Yannis Smaragdakis (ACM Trans. Softw. Eng. Methodol., 2014)

Reverse Engineering Mobile Application User Interfaces with REMAUI (T). - Tuan Anh Nguyen; Christoph Csallner (ASE, 2015)

Detecting rootkits with the RAI runtime application inventory. - Shabnam Aboughadareh; Christoph Csallner (SSPREW@ACSAC, 2016)

CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments. - Shafiul Azam Chowdhury; Taylor T. Johnson; Christoph Csallner (CyPhy, 2016)

RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications. - Ishtiaque Hussain; Christoph Csallner; Mark Grechanik; Qing Xie 003; Sangmin Park; Kunal Taneja; B. M. Mainul Hossain (Softw. Pract. Exp., 2016)

Reverse engineering object-oriented applications into high-level domain models with reoom. - Tuan Anh Nguyen; Christoph Csallner (ICSE (Companion Volume), 2017)

Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge. - Shafiul Azam Chowdhury; Soumik Mohian; Sidharth Mehra; Siddhant Gawsane; Taylor T. Johnson; Christoph Csallner (ICSE, 2018)

A curated corpus of simulink models for model-based empirical studies. - Shafiul Azam Chowdhury; Lina Sera Varghese; Soumik Mohian; Taylor T. Johnson; Christoph Csallner (SEsCPS@ICSE, 2018)

P2A: a tool for converting pixels to animated mobile application user interfaces. - Siva Natarajan; Christoph Csallner (MOBILESoft@ICSE, 2018)

Testing web-based applications with the voice controlled accessibility and testing tool (VCAT). - Nagendra Prasad Kasaghatta Ramachandra; Christoph Csallner (ICSE (Companion Volume), 2018)

Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets. - Sohil L. Shrestha; Saroj Panda; Christoph Csallner (RAISE@ICSE, 2018)

SPEjs: a symbolic partial evaluator for JavaScript. - Sümeyye Süslü; Christoph Csallner (A-Mobile@ASE, 2018)

SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. - Shafiul Azam Chowdhury; Sohil Lal Shrestha; Taylor T. Johnson; Christoph Csallner (ICSE, 2020)

SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI). - Shafiul Azam Chowdhury; Sohil Lal Shrestha; Taylor T. Johnson; Christoph Csallner (ICSE (Companion Volume), 2020)

Doodle2App: native app code by freehand UI sketching. - Soumik Mohian; Christoph Csallner (MOBILESoft@ICSE, 2020)

SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. - Sohil Lal Shrestha; Christoph Csallner (EASE, 2021)

PSDoodle: Searching for App Screens via Interactive Sketching. - Soumik Mohian; Christoph Csallner (MOBILESoft, 2022)

PSDoodle: Fast App Screen Search via Partial Screen Doodle. - Soumik Mohian; Christoph Csallner (MOBILESoft, 2022)

SLNET: A Redistributable Corpus of 3rd-party Simulink Models. - Sohil Lal Shrestha; Shafiul Azam Chowdhury; Christoph Csallner (MSR, 2022)

Replicability Study: Corpora For Understanding Simulink Models & Projects. - Sohil Lal Shrestha; Shafiul Azam Chowdhury; Christoph Csallner (ESEM, 2023)

EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects. - Sohil Lal Shrestha; Alexander Boll; Shafiul Azam Chowdhury; Timo Kehrer; Christoph Csallner (MODELS, 2023)

ScoutSL: An Open-Source Simulink Search Engine. - Sohil Lal Shrestha; Alexander Boll; Timo Kehrer; Christoph Csallner (MoDELS (Companion), 2023)

D2S2: Drag 'n' Drop Mobile App Screen Search. - Soumik Mohian; Tony Tang; Tuan Trinh; Don Dang; Christoph Csallner (ESEC/SIGSOFT FSE, 2023)

Searching Mobile App Screens via Text + Doodle. - Soumik Mohian; Christoph Csallner (CoRR, 2023)

Scaling Up Toward Automated Black-box Reverse Engineering of Context-Free Grammars. - Mohammad Rifat Arefin; Suraj Shetiya; Zili Wang 004; Christoph Csallner (CoRR, 2023)

Fast Deterministic Black-box Context-free Grammar Inference. - Mohammad Rifat Arefin; Suraj Shetiya; Zili Wang 004; Christoph Csallner (ICSE, 2024)

Infering Alt-text For UI Icons With Large Language Models During App Development. - Sabrina Haque; Christoph Csallner (CoRR, 2024)

Early Accessibility: Automating Alt-Text Generation for UI Icons During App Development. - Sabrina Haque; Christoph Csallner (CoRR, 2025)