Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
Sébastien Salva, Redha Taguelmimt
The use of natural language (NL) test cases for validating graphical user interface (GUI) applications is emerging as a promising direction to manually written executable test scri…
cs.SE2020
An Advanced Approach for Choosing Security Patterns and Checking their Implementation
Sébastien Salva, Loukmen Regainia
This paper tackles the problems of generating concrete test cases for testing whether an application is vulnerable to attacks, and of checking whether security solutions are correc…