@inproceedings{FFJ+10,
title = { More Testable Properties },
author = {Falcone, Ylies and Fernandez, Jean-Claude and J\'eron, Thierry and Marchand, Herv\'e and Mounier, Laurent},
month = {November},
year = {2010},
booktitle = {Proceedings of ICTSS - 22nd IFIP WG 6.1 International Conference},
address = {Natal, Brazil},
note = {(best paper award)},
pages = {30-46},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6435},
team = {DCS,PACSS},
}