How dataflow diagrams impact software security analysis: an empirical experiment

S Schneider, NED Ferreyra, PJ Queval… - … on Software Analysis …, 2024‏ - ieeexplore.ieee.org
Models of software systems are used throughout the software development lifecycle.
Dataflow diagrams (DFDs), in particular, are well-established resources for security analysis …

Comparison of static analysis architecture recovery tools for microservice applications

S Schneider, A Bakhtin, X Li, J Soldani, A Brogi… - arxiv preprint arxiv …, 2024‏ - arxiv.org
Architecture recovery tools help software engineers obtain an overview of the structure of
their software systems during all phases of the software development life cycle. This is …

Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic

C Cao, A Panichella, S Verwer - arxiv preprint arxiv:2412.03420, 2024‏ - arxiv.org
The rising popularity of the microservice architectural style has led to a growing demand for
automated testing approaches tailored to these systems. EvoMaster is a state-of-the-art tool …

In Specs we Trust? Conformance-Analysis of Implementation to Specifications in Node-RED and Associated Security Risks

S Schneider, K Kashish, K Tuma… - arxiv preprint arxiv …, 2025‏ - arxiv.org
Low-code development frameworks for IoT platforms offer a simple drag-and-drop
mechanism to create applications for the billions of existing IoT devices without the need for …