18 citations · 18 across the 3 of their papers we have counts for
3 papers
Active Inference of Extended Finite State Machine Models with Registers and Guards
Roland Groz, German Eduardo Vega Baez, Adenilso Simao +3
Extended finite state machines (EFSMs) model stateful systems with internal data variables and have numerous applications in software engineering. A major advantage of this type of…
Learning EFSM Models with Registers in Guards
Germán Vega, Roland Groz, Catherine Oriat +3
This paper presents an active inference method for Extended Finite State Machines, where inputs and outputs are parametrized, and transitions can be conditioned by guards involving…
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities
Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon +2
Directed fuzzing focuses on automatically testing specific parts of the code by taking advantage of additional information such as (partial) bug stack trace, patches or risky opera…