Christoph Csallner

According to our database, Christoph Csallner authored at least 53 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Scaling Up Toward Automated Black-box Reverse Engineering of Context-Free Grammars.

Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang, Christoph Csallner

CoRR, 2023

Searching Mobile App Screens via Text + Doodle.

Soumik Mohian, Christoph Csallner

CoRR, 2023

D2S2: Drag 'n' Drop Mobile App Screen Search.

Soumik Mohian, Tony Tang, Tuan Trinh, Don Dang, Christoph Csallner

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

ScoutSL: An Open-Source Simulink Search Engine.

Sohil Lal Shrestha, Alexander Boll, Timo Kehrer, Christoph Csallner

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Replicability Study: Corpora For Understanding Simulink Models & Projects.

Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner

Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2023

2022

SLNET: A Redistributable Corpus of 3rd-party Simulink Models.

Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

PSDoodle: Fast App Screen Search via Partial Screen Doodle.

Soumik Mohian, Christoph Csallner

Proceedings of the 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2022

PSDoodle: Searching for App Screens via Interactive Sketching.

Soumik Mohian, Christoph Csallner

Proceedings of the 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2022

2021

SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain.

Sohil Lal Shrestha, Christoph Csallner

Proceedings of the EASE 2021: Evaluation and Assessment in Software Engineering, 2021

2020

Doodle2App: native app code by freehand UI sketching.

Soumik Mohian, Christoph Csallner

Proceedings of the MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, 2020

SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI).

Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

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

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2018

SPEjs: a symbolic partial evaluator for JavaScript.

Sümeyye Süslü, Christoph Csallner

Proceedings of the 1st International Workshop on Advances in Mobile App Analysis, 2018

Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets.

Sohil L. Shrestha, Saroj Panda, Christoph Csallner

Proceedings of the 6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2018

Testing web-based applications with the voice controlled accessibility and testing tool (VCAT).

Nagendra Prasad Kasaghatta Ramachandra, Christoph Csallner

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

P2A: a tool for converting pixels to animated mobile application user interfaces.

Siva Natarajan, Christoph Csallner

Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27, 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

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

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

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Reverse engineering object-oriented applications into high-level domain models with reoom.

Tuan Anh Nguyen, Christoph Csallner

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications.

Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain

Softw. Pract. Exp., 2016

CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments.

Shafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2016

Detecting rootkits with the RAI runtime application inventory.

Shabnam Aboughadareh, Christoph Csallner

Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering, 2016

2015

Reverse Engineering Mobile Application User Interfaces with REMAUI (T).

Tuan Anh Nguyen, Christoph Csallner

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Residual Investigation: Predictive and Precise Bug Detection.

Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis

ACM Trans. Softw. Eng. Methodol., 2014

Generating Test Cases for Programs that Are Coded against Interfaces and Annotations.

Mainul Islam, Christoph Csallner

ACM Trans. Softw. Eng. Methodol., 2014

A distributed framework for demand-driven software vulnerability detection.

Dazhi Zhang, Donggang Liu, Christoph Csallner, David Chenho Kung, Yu Lei

J. Syst. Softw., 2014

Mixed-Mode Malware and Its Analysis.

Shabnam Aboughadareh, Christoph Csallner, Mehdi Azarmi

Proceedings of the 4th Program Protection and Reverse Engineering Workshop, 2014

2013

SEDGE: Symbolic example data generation for dataflow programs.

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Yanlei Diao, Christoph Csallner

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

GROPG: a graphical on-phone debugger.

Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

SimFuzz: Test case similarity directed deep fuzzing.

Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Nathaniel Nystrom, Wenhua Wang

J. Syst. Softw., 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

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

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

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), 2012

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

Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers, 2012

2011

New ideas track: testing mapreduce-style programs.

Christoph Csallner, Leonidas Fegaras, Chengkai Li

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

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

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010

Dynamic symbolic database application testing.

Chengkai Li, Christoph Csallner

Proceedings of the Third International Workshop on Testing Database Systems, 2010

Dsc+Mock: a test case + mock class generator in support of coding against interfaces.

Mainul Islam, Christoph Csallner

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), 2010

DSDSR: a tool that uses dynamic symbolic execution for data structure repair.

Ishtiaque Hussain, Christoph Csallner

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), 2010

Is Data Privacy Always Good for Software Testing?

Mark Grechanik, Christoph Csallner, Chen Fu, Qing Xie

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Dynamic symbolic data structure repair.

Ishtiaque Hussain, Christoph Csallner

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Detecting vulnerabilities in C programs using trace-based testing.

Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009

Scalable satisfiability checking and test data generation from modeling diagrams.

Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian

Autom. Softw. Eng., 2009

2008

Combining over- and under-approximating program analyses for automatic software testing.

Christoph Csallner

PhD thesis, 2008

DSD-Crasher: A hybrid analysis tool for bug finding.

Christoph Csallner, Yannis Smaragdakis, Tao Xie

ACM Trans. Softw. Eng. Methodol., 2008

DySy: dynamic symbolic execution for invariant inference.

Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Combining Static and Dynamic Reasoning for Bug Detection.

Yannis Smaragdakis, Christoph Csallner

Proceedings of the Tests and Proofs - 1st International Conference, 2007

Scalable automatic test data generation from modeling diagrams.

Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

DSD-Crasher: a hybrid analysis tool for bug finding.

Christoph Csallner, Yannis Smaragdakis

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Dynamically discovering likely interface invariants.

Christoph Csallner, Yannis Smaragdakis

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Check 'n' crash: combining static checking and testing.

Christoph Csallner, Yannis Smaragdakis

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

JCrasher: an automatic robustness tester for Java.

Christoph Csallner, Yannis Smaragdakis

Softw. Pract. Exp., 2004

2003

FundExplorer: Supporting the Diversification of Mutual Fund Portfolios Using Context Treemaps.

Christoph Csallner, Marcus Handte, Othmar Lehmann, John T. Stasko

Proceedings of the 9th IEEE Symposium on Information Visualization (InfoVis 2003), 2003