A Compositional Testing Framework Driven by Partial Specifications.

Yliès Falcone Jean-Claude Fernandez Laurent Mounier Jean-Luc Richier A Compositional Testing Framework Driven by Partial Specifications. 107-122 2007 conf/pts/2007 TestCom/FATES http://dx.doi.org/10.1007/978-3-540-73066-8_8 db/conf/pts/testcom2007.html#FalconeFMR07