Building a Test-Ready Abstraction of a Behavioral Model Using CLP.

Pierre-Christophe Bu, Frdric Dadeau, Adrien De Kermadec, Fabrice Bouquet

Browse the full TAP paper archive.