"A Partial-specification Driven Compositional Testing Method" (Updated 19 Nov. 2007). Y. Falcone, J-C. Fernandez, L. Mounier, J-L. Richier.Vérimag Technical Report - pdf - [TR-2007-4]
"A Compositional Testing Framework Driven by Partial Specifications". Y. Falcone, J-C. Fernandez, L. Mounier, J-L. Richier. In TESTCOM/FATES'07: TESTing of COMmunicating Systems/Formal Approaches to TESting - pdf
"A Test Calculus Framework Applied to Network Security Policies".Y. Falcone, J-C. Fernandez, L. Mounier, J-L. Richier.In FATES/RV'06: Formal Approaches to TESting/Runtime Verification - pdf
Documentation on the tool-chain
"j-POST: a Java Tool-chain for Property-Oriented Software Testing". Y. Falcone, L. Mounier, J-C. Fernandez, J-L. Richier. In Model-Based Testing (MBT) 2008 - pdf
"j-POST: a Java Tool-chain for Property-Oriented Software Testing" (Updated 06 Nov. 2007). Y. Falcone, L. Mounier, J-C. Fernandez, J-L. Richier. Vérimag Technical Report - pdf - [TR-2007-7]
