@inproceedings{FFM+07a,
title = {{A Compositional Testing Framework Driven by Partial Specifications} },
author = {Falcone, Ylies and Fernandez, Jean-Claude and Mounier, Laurent and Richier, Jean-Luc},
month = {June},
year = {2007},
booktitle = {TESTCOM/FATES},
team = {DCS,PACSS},
}
