Christoph Csallner

67 papers A* 10A 9C 1Journal 20Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Do Autonomous Agents Contribute Test Code? A Study of Tests in Agentic Pull Requests. CoRR Sabrina Haque, Sarvesh Ingale, Christoph Csallner
2025	J	`jnl`	Black-box Context-free Grammar Inference for Readable & Natural Grammars. CoRR Mohammad Rifat Arefin, Shanto Rahman, Christoph Csallner
2025	J	`jnl`	Early Accessibility: Automating Alt-Text Generation for UI Icons During App Development. CoRR Sabrina Haque, Christoph Csallner
2025	J	`jnl`	What Does It Take? Developing a Smartphone App that Motivates Older Adults to be Physically Active. CoRR Sabrina Haque, Kyle Henry, Troyee Saha, Kimberly Vanhoose, Jobaidul Boni, Samantha Moss, Kate Hyun, Kathy Siepker, Xiangli Gu, Angela Liegey-Dougall, Stephen Mattingly, Christoph Csallner
2024	A*	`conf`	Fast Deterministic Black-box Context-free Grammar Inference. ICSE Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang, Christoph Csallner
2024	J	`jnl`	Infering Alt-text For UI Icons With Large Language Models During App Development. CoRR Sabrina Haque, Christoph Csallner
2023	—	`conf`	D2S2: Drag 'n' Drop Mobile App Screen Search. ESEC/SIGSOFT FSE Soumik Mohian, Tony Tang, Tuan Trinh, Don Dang, Christoph Csallner
2023	A	`conf`	EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects. MODELS Sohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, Christoph Csallner
2023	A	`conf`	Replicability Study: Corpora For Understanding Simulink Models & Projects. ESEM Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner
2023	J	`jnl`	Replicability Study: Corpora For Understanding Simulink Models & Projects. CoRR Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner
2023	J	`jnl`	Scaling Up Toward Automated Black-box Reverse Engineering of Context-Free Grammars. CoRR Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang, Christoph Csallner
2023	—	`conf`	ScoutSL: An Open-Source Simulink Search Engine. MoDELS (Companion) Sohil Lal Shrestha, Alexander Boll, Timo Kehrer, Christoph Csallner
2023	J	`jnl`	Searching Mobile App Screens via Text + Doodle. CoRR Soumik Mohian, Christoph Csallner
2022	—	`conf`	PSDoodle: Fast App Screen Search via Partial Screen Doodle. MOBILESoft Soumik Mohian, Christoph Csallner
2022	J	`jnl`	PSDoodle: Fast App Screen Search via Partial Screen Doodle. CoRR Soumik Mohian, Christoph Csallner
2022	—	`conf`	PSDoodle: Searching for App Screens via Interactive Sketching. MOBILESoft Soumik Mohian, Christoph Csallner
2022	J	`jnl`	PSDoodle: Searching for App Screens via Interactive Sketching. CoRR Soumik Mohian, Christoph Csallner
2022	A	`conf`	SLNET: A Redistributable Corpus of 3rd-party Simulink Models. MSR Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner
2022	J	`jnl`	SLNET: A Redistributable Corpus of 3rd-party Simulink Models. CoRR Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner
2021	A	`conf`	SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. EASE Sohil Lal Shrestha, Christoph Csallner
2021	J	`jnl`	SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. CoRR Sohil Lal Shrestha, Christoph Csallner
2020	—	`conf`	Doodle2App: native app code by freehand UI sketching. MOBILESoft@ICSE Soumik Mohian, Christoph Csallner
2020	A*	`conf`	SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. ICSE Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner
2020	—	`conf`	SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI). ICSE (Companion Volume) Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner
2018	—	`conf`	A curated corpus of simulink models for model-based empirical studies. SEsCPS@ICSE Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner
2018	A*	`conf`	Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge. ICSE Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T. Johnson, Christoph Csallner
2018	—	`conf`	Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets. RAISE@ICSE Sohil L. Shrestha, Saroj Panda, Christoph Csallner
2018	—	`conf`	P2A: a tool for converting pixels to animated mobile application user interfaces. MOBILESoft@ICSE Siva Natarajan, Christoph Csallner
2018	—	`conf`	SPEjs: a symbolic partial evaluator for JavaScript. A-Mobile@ASE Sümeyye Süslü, Christoph Csallner
2018	—	`conf`	Testing web-based applications with the voice controlled accessibility and testing tool (VCAT). ICSE (Companion Volume) Nagendra Prasad Kasaghatta Ramachandra, Christoph Csallner
2017	—	`conf`	Reverse engineering object-oriented applications into high-level domain models with reoom. ICSE (Companion Volume) Tuan Anh Nguyen, Christoph Csallner
2016	—	`conf`	CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments. CyPhy Shafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner
2016	—	`conf`	Detecting rootkits with the RAI runtime application inventory. SSPREW@ACSAC Shabnam Aboughadareh, Christoph Csallner
2016	J	`jnl`	RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications. Softw. Pract. Exp. Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain
2015	—	`conf`	Residual Investigation: Predictive and Precise Bug Detection. Software Engineering & Management Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
2015	A*	`conf`	Reverse Engineering Mobile Application User Interfaces with REMAUI (T). ASE Tuan Anh Nguyen, Christoph Csallner
2014	J	`jnl`	A distributed framework for demand-driven software vulnerability detection. J. Syst. Softw. Dazhi Zhang, Donggang Liu, Christoph Csallner, David Chenho Kung, Yu Lei
2014	J	`jnl`	Generating Test Cases for Programs that Are Coded against Interfaces and Annotations. ACM Trans. Softw. Eng. Methodol. Mainul Islam, Christoph Csallner
2014	—	`conf`	Mixed-Mode Malware and Its Analysis. PPREW@ACSAC Shabnam Aboughadareh, Christoph Csallner, Mehdi Azarmi
2014	—	`ed.`	Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA), WODA+PERTEA 2014, San Jose, CA, USA, July 22, 2014 WODA+PERTEA@ISSTA Harry Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte, Christoph Csallner
2014	J	`jnl`	Residual Investigation: Predictive and Precise Bug Detection. ACM Trans. Softw. Eng. Methodol. Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
2013	A*	`conf`	GROPG: a graphical on-phone debugger. ICSE Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann
2013	A*	`conf`	SEDGE: Symbolic example data generation for dataflow programs. ASE Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner
2012	—	`conf`	An experiment in developing small mobile phone applications comparing on-phone to off-phone development. USER@ICSE Tuan Anh Nguyen, Sarker T. A. Rumee, Christoph Csallner, Nikolai Tillmann
2012	—	`conf`	CarFast: achieving higher statement coverage faster. SIGSOFT FSE Sangmin Park, B. M. Mainul Hossain, Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Kunal Taneja, Chen Fu, Qing Xie
2012	—	`conf`	Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator. WODA Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain
2012	A	`conf`	Residual investigation: predictive and precise bug detection. ISSTA Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis
2012	J	`jnl`	SimFuzz: Test case similarity directed deep fuzzing. J. Syst. Softw. Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Nathaniel Nystrom, Wenhua Wang
2011	A	`conf`	A combinatorial approach to detecting buffer overflow vulnerabilities. DSN Wenhua Wang, Yu Lei, Donggang Liu, David Chenho Kung, Christoph Csallner, Dazhi Zhang, Raghu Kacker, Rick Kuhn
2011	—	`conf`	New ideas track: testing mapreduce-style programs. SIGSOFT FSE Christoph Csallner, Leonidas Fegaras, Chengkai Li
2010	—	`conf`	DSDSR: a tool that uses dynamic symbolic execution for data structure repair. WODA Ishtiaque Hussain, Christoph Csallner
2010	A	`conf`	Detecting vulnerabilities in C programs using trace-based testing. DSN Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang
2010	—	`conf`	Dsc+Mock: a test case + mock class generator in support of coding against interfaces. WODA Mainul Islam, Christoph Csallner
2010	—	`conf`	Dynamic symbolic data structure repair. ICSE (2) Ishtiaque Hussain, Christoph Csallner
2010	—	`conf`	Dynamic symbolic database application testing. DBTest Chengkai Li, Christoph Csallner
2010	A	`conf`	Is Data Privacy Always Good for Software Testing? ISSRE Mark Grechanik, Christoph Csallner, Chen Fu, Qing Xie
2009	J	`jnl`	Scalable satisfiability checking and test data generation from modeling diagrams. Autom. Softw. Eng. Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian
2008	—	`—`	Combining over- and under-approximating program analyses for automatic software testing. Christoph Csallner
2008	J	`jnl`	DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. Christoph Csallner, Yannis Smaragdakis, Tao Xie
2008	A*	`conf`	DySy: dynamic symbolic execution for invariant inference. ICSE Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis
2007	C	`conf`	Combining Static and Dynamic Reasoning for Bug Detection. TAP Yannis Smaragdakis, Christoph Csallner
2007	A*	`conf`	Scalable automatic test data generation from modeling diagrams. ASE Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian
2006	A	`conf`	DSD-Crasher: a hybrid analysis tool for bug finding. ISSTA Christoph Csallner, Yannis Smaragdakis
2006	A*	`conf`	Dynamically discovering likely interface invariants. ICSE Christoph Csallner, Yannis Smaragdakis
2005	A*	`conf`	Check 'n' crash: combining static checking and testing. ICSE Christoph Csallner, Yannis Smaragdakis
2004	J	`jnl`	JCrasher: an automatic robustness tester for Java. Softw. Pract. Exp. Christoph Csallner, Yannis Smaragdakis
2003	—	`conf`	FundExplorer: Supporting the Diversification of Mutual Fund Portfolios Using Context Treemaps. INFOVIS Christoph Csallner, Marcus Handte, Othmar Lehmann, John T. Stasko