21 citations · 40 across the 12 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2018
An Approximation-based Approach for the Random Exploration of Large Models
Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko
System modeling is a classical approach to ensure their reliability since it is suitable both for a formal verification and for software testing techniques. In the context of model…
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…