default search action
Christoph Csallner
Person information
- affiliation: University of Texas at Arlington, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c45]Mohammad Rifat Arefin
, Suraj Shetiya
Fast Deterministic Black-box Context-free Grammar Inference. ICSE 2024: 117:1-117:12 - [i8]Sabrina Haque, Christoph Csallner:
Infering Alt-text For UI Icons With Large Language Models During App Development. CoRR abs/2409.18060 (2024) - 2023
- [c44]Sohil Lal Shrestha
Replicability Study: Corpora For Understanding Simulink Models & Projects. ESEM 2023: 1-12 - [c43]Sohil Lal Shrestha, Alexander Boll, Timo Kehrer, Christoph Csallner:
ScoutSL: An Open-Source Simulink Search Engine. MoDELS (Companion) 2023: 70-74 - [c42]Sohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, Christoph Csallner:
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects. MODELS 2023: 273-284 - [c41]Soumik Mohian
D2S2: Drag 'n' Drop Mobile App Screen Search. ESEC/SIGSOFT FSE 2023: 2177-2181 - [i7]Soumik Mohian, Christoph Csallner:
Searching Mobile App Screens via Text + Doodle. CoRR abs/2305.06165 (2023) - [i6]Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner:
Replicability Study: Corpora For Understanding Simulink Models & Projects. CoRR abs/2308.01978 (2023) - [i5]Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang, Christoph Csallner:
Scaling Up Toward Automated Black-box Reverse Engineering of Context-Free Grammars. CoRR abs/2308.06163 (2023) - 2022
- [c40]Soumik Mohian
PSDoodle: Searching for App Screens via Interactive Sketching. MOBILESoft 2022: 84-88 - [c39]Soumik Mohian
PSDoodle: Fast App Screen Search via Partial Screen Doodle. MOBILESoft 2022: 89-99 - [c38]Sohil Lal Shrestha
SLNET: A Redistributable Corpus of 3rd-party Simulink Models. MSR 2022: 1-5 - [i4]Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner:
SLNET: A Redistributable Corpus of 3rd-party Simulink Models. CoRR abs/2203.17112 (2022) - [i3]Soumik Mohian, Christoph Csallner:
PSDoodle: Fast App Screen Search via Partial Screen Doodle. CoRR abs/2204.01956 (2022) - [i2]Soumik Mohian, Christoph Csallner:
PSDoodle: Searching for App Screens via Interactive Sketching. CoRR abs/2204.01968 (2022) - 2021
- [c37]Sohil Lal Shrestha
SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. EASE 2021: 260-265 - [i1]Sohil Lal Shrestha, Christoph Csallner:
SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. CoRR abs/2105.07465 (2021) - 2020
- [c36]Shafiul Azam Chowdhury, Sohil Lal Shrestha
SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI). ICSE (Companion Volume) 2020: 1-4 - [c35]Soumik Mohian
Doodle2App: native app code by freehand UI sketching. MOBILESoft@ICSE 2020: 81-84 - [c34]Shafiul Azam Chowdhury, Sohil Lal Shrestha
SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. ICSE 2020: 335-346
2010 – 2019
- 2018
- [c33]Sohil L. Shrestha
Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets. RAISE@ICSE 2018: 15-20 - [c32]Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson
A curated corpus of simulink models for model-based empirical studies. SEsCPS@ICSE 2018: 45-48 - [c31]Nagendra Prasad Kasaghatta Ramachandra, Christoph Csallner:
Testing web-based applications with the voice controlled accessibility and testing tool (VCAT). ICSE (Companion Volume) 2018: 208-209 - [c30]Siva Natarajan, Christoph Csallner:
P2A: a tool for converting pixels to animated mobile application user interfaces. MOBILESoft@ICSE 2018: 224-235 - [c29]Shafiul Azam Chowdhury, Soumik Mohian
Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge. ICSE 2018: 981-992 - [c28]Sümeyye Süslü, Christoph Csallner:
SPEjs: a symbolic partial evaluator for JavaScript. A-Mobile@ASE 2018: 7-12 - 2017
- [c27]Tuan Anh Nguyen, Christoph Csallner:
Reverse engineering object-oriented applications into high-level domain models with reoom. ICSE (Companion Volume) 2017: 311-313 - 2016
- [j8]Ishtiaque Hussain, Christoph Csallner, Mark Grechanik
RUGRAT: Evaluating program analysis and testing tools and compilers with large generated random benchmark applications. Softw. Pract. Exp. 46(3): 405-431 (2016) - [c26]Shabnam Aboughadareh, Christoph Csallner:
Detecting rootkits with the RAI runtime application inventory. SSPREW@ACSAC 2016: 3:1-3:12 - [c25]Shafiul Azam Chowdhury, Taylor T. Johnson
CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments. CyPhy 2016: 46-60 - 2015
- [c24]Tuan Anh Nguyen, Christoph Csallner:
Reverse Engineering Mobile Application User Interfaces with REMAUI (T). ASE 2015: 248-259 - [c23]Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis:
Residual Investigation: Predictive and Precise Bug Detection. Software Engineering & Management 2015: 133-134 - 2014
- [j7]Dazhi Zhang, Donggang Liu, Christoph Csallner, David Chenho Kung, Yu Lei:
A distributed framework for demand-driven software vulnerability detection. J. Syst. Softw. 87: 60-73 (2014) - [j6]Mainul Islam, Christoph Csallner:
Generating Test Cases for Programs that Are Coded against Interfaces and Annotations. ACM Trans. Softw. Eng. Methodol. 23(3): 21:1-21:38 (2014) - [j5]Kaituo Li, Christoph Reichenbach
Residual Investigation: Predictive and Precise Bug Detection. ACM Trans. Softw. Eng. Methodol. 24(2): 7:1-7:32 (2014) - [c22]Shabnam Aboughadareh, Christoph Csallner, Mehdi Azarmi:
Mixed-Mode Malware and Its Analysis. PPREW@ACSAC 2014: 1:1-1:12 - [e1]Harry Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte, Christoph Csallner:
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. ACM 2014, ISBN 978-1-4503-2934-7 [contents] - 2013
- [c21]Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann:
GROPG: a graphical on-phone debugger. ICSE 2013: 1189-1192 - [c20]Kaituo Li, Christoph Reichenbach
SEDGE: Symbolic example data generation for dataflow programs. ASE 2013: 235-245 - 2012
- [j4]Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Nathaniel Nystrom, Wenhua Wang:
SimFuzz: Test case similarity directed deep fuzzing. J. Syst. Softw. 85(1): 102-111 (2012) - [c19]Tuan Anh Nguyen, Sarker T. A. Rumee
An experiment in developing small mobile phone applications comparing on-phone to off-phone development. USER@ICSE 2012: 9-12 - [c18]Ishtiaque Hussain, Christoph Csallner, Mark Grechanik
Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator. WODA 2012: 1-6 - [c17]Kaituo Li, Christoph Reichenbach
Residual investigation: predictive and precise bug detection. ISSTA 2012: 298-308 - [c16]Sangmin Park, B. M. Mainul Hossain
CarFast: achieving higher statement coverage faster. SIGSOFT FSE 2012: 35 - 2011
- [c15]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: 269-278 - [c14]Christoph Csallner, Leonidas Fegaras, Chengkai Li:
New ideas track: testing mapreduce-style programs. SIGSOFT FSE 2011: 504-507 - 2010
- [c13]Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang:
Detecting vulnerabilities in C programs using trace-based testing. DSN 2010: 241-250 - [c12]Ishtiaque Hussain, Christoph Csallner:
Dynamic symbolic data structure repair. ICSE (2) 2010: 215-218 - [c11]Mark Grechanik
Is Data Privacy Always Good for Software Testing? ISSRE 2010: 368-377 - [c10]Ishtiaque Hussain, Christoph Csallner:
DSDSR: a tool that uses dynamic symbolic execution for data structure repair. WODA 2010: 20-25 - [c9]Mainul Islam, Christoph Csallner:
Dsc+Mock: a test case + mock class generator in support of coding against interfaces. WODA 2010: 26-31 - [c8]Chengkai Li, Christoph Csallner:
Dynamic symbolic database application testing. DBTest 2010
2000 – 2009
- 2009
- [j3]Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian:
Scalable satisfiability checking and test data generation from modeling diagrams. Autom. Softw. Eng. 16(1): 73-99 (2009) - 2008
- [b1]Christoph Csallner:
Combining over- and under-approximating program analyses for automatic software testing. Georgia Institute of Technology, Atlanta, GA, USA, 2008 - [j2]Christoph Csallner, Yannis Smaragdakis, Tao Xie:
DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol. 17(2): 8:1-8:37 (2008) - [c7]Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis:
DySy: dynamic symbolic execution for invariant inference. ICSE 2008: 281-290 - 2007
- [c6]Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian:
Scalable automatic test data generation from modeling diagrams. ASE 2007: 4-13 - [c5]Yannis Smaragdakis, Christoph Csallner:
Combining Static and Dynamic Reasoning for Bug Detection. TAP 2007: 1-16 - 2006
- [c4]Christoph Csallner, Yannis Smaragdakis:
Dynamically discovering likely interface invariants. ICSE 2006: 861-864 - [c3]Christoph Csallner, Yannis Smaragdakis:
DSD-Crasher: a hybrid analysis tool for bug finding. ISSTA 2006: 245-254 - 2005
- [c2]Christoph Csallner, Yannis Smaragdakis:
Check 'n' crash: combining static checking and testing. ICSE 2005: 422-431 - 2004
- [j1]Christoph Csallner, Yannis Smaragdakis:
JCrasher: an automatic robustness tester for Java. Softw. Pract. Exp. 34(11): 1025-1050 (2004) - 2003
- [c1]Christoph Csallner, Marcus Handte
FundExplorer: Supporting the Diversification of Mutual Fund Portfolios Using Context Treemaps. INFOVIS 2003: 203-208
Coauthor Index
aka: Sohil Lal Shrestha
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: