| 2026 | MSR | An Empirical Study of Tests in Agentic Pull Requests. | Sabrina Haque, Sarvesh Ingale, Christoph Csallner |
| 2024 | ICSE | Fast Deterministic Black-box Context-free Grammar Inference. | Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang, Christoph Csallner |
| 2023 | ESEM | Replicability Study: Corpora For Understanding Simulink Models & Projects. | Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner |
| 2023 | MODELS | EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects. | Sohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, Christoph Csallner |
| 2023 | MODELS | ScoutSL: An Open-Source Simulink Search Engine. | Sohil Lal Shrestha, Alexander Boll, Timo Kehrer, Christoph Csallner |
| 2022 | MSR | SLNET: A Redistributable Corpus of 3rd-party Simulink Models. | Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner |
| 2021 | EASE | SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. | Sohil Lal Shrestha, Christoph Csallner |
| 2020 | ICSE | 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 |
| 2020 | ICSE | SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI). | Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner |
| 2020 | ICSE | Doodle2App: native app code by freehand UI sketching. | Soumik Mohian, Christoph Csallner |
| 2018 | ICSE | 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 |
| 2018 | ICSE | A curated corpus of simulink models for model-based empirical studies. | Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner |
| 2018 | ICSE | P2A: a tool for converting pixels to animated mobile application user interfaces. | Siva Natarajan, Christoph Csallner |
| 2018 | ICSE | Testing web-based applications with the voice controlled accessibility and testing tool (VCAT). | Nagendra Prasad Kasaghatta Ramachandra, Christoph Csallner |
| 2018 | ICSE | Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets. | Sohil L. Shrestha, Saroj Panda, Christoph Csallner |
| 2017 | ICSE | Reverse engineering object-oriented applications into high-level domain models with reoom. | Tuan Anh Nguyen, Christoph Csallner |
| 2016 | ACSAC | Detecting rootkits with the RAI runtime application inventory. | Shabnam Aboughadareh, Christoph Csallner |
| 2014 | ACSAC | Mixed-Mode Malware and Its Analysis. | Shabnam Aboughadareh, Christoph Csallner, Mehdi Azarmi |
| 2013 | ICSE | GROPG: a graphical on-phone debugger. | Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann |
| 2012 | ICSE | 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 |
| 2012 | ISSTA | Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator. | Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain |
| 2012 | ISSTA | Residual investigation: predictive and precise bug detection. | Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis |
| 2011 | DSN | A combinatorial approach to detecting buffer overflow vulnerabilities. | Wenhua Wang, Yu Lei, Donggang Liu, David Chenho Kung, Christoph Csallner, Dazhi Zhang, Raghu Kacker, Rick Kuhn |
| 2010 | DSN | Detecting vulnerabilities in C programs using trace-based testing. | Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang |
| 2010 | ICSE | Dynamic symbolic data structure repair. | Ishtiaque Hussain, Christoph Csallner |
| 2010 | ISSRE | Is Data Privacy Always Good for Software Testing? | Mark Grechanik, Christoph Csallner, Chen Fu, Qing Xie |
| 2010 | ISSTA | DSDSR: a tool that uses dynamic symbolic execution for data structure repair. | Ishtiaque Hussain, Christoph Csallner |
| 2010 | ISSTA | Dsc+Mock: a test case + mock class generator in support of coding against interfaces. | Mainul Islam, Christoph Csallner |
| 2010 | SIGMOD | Dynamic symbolic database application testing. | Chengkai Li, Christoph Csallner |
| 2008 | ICSE | DySy: dynamic symbolic execution for invariant inference. | Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis |
| 2007 | TAP | Combining Static and Dynamic Reasoning for Bug Detection. | Yannis Smaragdakis, Christoph Csallner |
| 2006 | ICSE | Dynamically discovering likely interface invariants. | Christoph Csallner, Yannis Smaragdakis |
| 2006 | ISSTA | DSD-Crasher: a hybrid analysis tool for bug finding. | Christoph Csallner, Yannis Smaragdakis |
| 2005 | ICSE | Check 'n' crash: combining static checking and testing. | Christoph Csallner, Yannis Smaragdakis |