activity
20222026
most citedSLNET: A Redistributable Corpus of 3rd-party Simulink Models

13 citations · 21 across the 8 of their papers we have counts for

collaborators
Showing cs.SEShow all

6 papers · 1 filter

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.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…