21 citations · 40 across the 12 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SE2013
Random Grammar-based Testing for Covering All Non-Terminals
Alois Dreyfus, Pierre-Cyrille Heam, Olga Kouchnarenko
In the context of software testing, generating complex data inputs is frequently performed using a grammar-based specification. For combinatorial reasons, an exhaustive generation…
cs.FL2013
Enhancing Approximations for Regular Reachability Analysis
Alois Dreyfus, Pierre-Cyrille Heam, Olga Kouchnarenko
This paper introduces two mechanisms for computing over-approximations of sets of reachable states, with the aim of ensuring termination of state-space exploration. The first mecha…