activity
20212026
most citedSLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain

19 citations · 49 across the 10 of their papers we have counts for

collaborators

10 papers

cs.CR2026

ZIMPAF & RedPhuzz: High-fidelity Web Application Fuzzing via Branch, Language Construct, and Function Call Monitoring

Tennov Simanjuntak, Christoph Csallner

We present ZIMPAF, runtime interpreter instrumentation, and RedPhuzz, a fuzzer, to realize high-fidelity fuzzing framework. ZIMPAF implements multi-granular interceptors to collect…

cs.SE2026

Toward Inferring Accurate Context-free Grammars for Big Languages in a Black-box Setting

Mohammad Rifat Arefin, Nuhiat Arefin, Shanto Rahman +1

Black-box context-free grammar inference is crucial for program analysis, reverse engineering, program understanding, fuzzing, and security. But existing approaches such as Arvada,…

cs.SE2025

Black-box Context-free Grammar Inference for Readable & Natural Grammars

Mohammad Rifat Arefin, Shanto Rahman, Christoph Csallner

Black-box context-free grammar inference is crucial for program analysis, reverse engineering, and security, yet existing tools such as Arvada, TreeVada, and Kedavra struggle with…

cs.SE2023

Replicability Study: Corpora For Understanding Simulink Models & Projects

Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner

Background: Empirical studies on widely used model-based development tools such as MATLAB/Simulink are limited despite the tools' importance in various industries. Aims: The aim of…

cs.SE2023★ 1 cited

Fast Deterministic Black-box Context-free Grammar Inference

Mohammad Rifat Arefin, Suraj Shetiya, Zili Wang +1

Black-box context-free grammar inference is a hard problem as in many practical settings it only has access to a limited number of example programs. The state-of-the-art approach A…

cs.IR2023★ 1 cited

Searching Mobile App Screens via Text + Doodle

Soumik Mohian, Christoph Csallner

Locating a specific mobile application screen from existing repositories is restricted to basic keyword searches, such as Google Image Search, or necessitates a complete query scre…

cs.CV2022★ 9 cited

PSDoodle: Searching for App Screens via Interactive Sketching

Soumik Mohian, Christoph Csallner

Keyword-based mobile screen search does not account for screen content and fails to operate as a universal tool for all levels of users. Visual searching (e.g., image, sketch) is s…

cs.SE2022★ 6 cited

PSDoodle: Fast App Screen Search via Partial Screen Doodle

Soumik Mohian, Christoph Csallner

Searching through existing repositories for a specific mobile app screen design is currently either slow or tedious. Such searches are either limited to basic keyword searches (Goo…

cs.SE2022★ 13 cited

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

Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner

MATLAB/Simulink is widely used for model-based design. Engineers create Simulink models and compile them to embedded code, often to control safety-critical cyber-physical systems i…

cs.SE2021★ 19 cited

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

Sohil Lal Shrestha, Christoph Csallner

Finding bugs in a commercial cyber-physical system (CPS) development tool such as Simulink is hard as its codebase contains millions of lines of code and complete formal language s…