1. H. R. Asaadi, R. Khosravi, M. R. Mousavi & N. Noroozi (2011): Towards Model-Based Testing of Electronic Funds Transfer Systems. In: FSEN, LNCS 7141, pp. 253–267. Available at
  2. S. Berezin, S. Campos & E.M. Clarke (1998): Compositional Reasoning in Model Checking. In: Compositionality: The Significant Difference, LNCS 1536. Springer, pp. 81–102. Available at
  3. M. van der Bijl, A. Rensink & J. Tretmans (2003): Compositional Testing with ioco. In: FATES, LNCS 2931. Springer, pp. 86–100. Available at
  4. R.G. de Vries & J. Tretmans (2000): On-the-fly Conformance Testing using SPIN. STTT 2(4), pp. 382–393. Available at
  5. L. Frantzen & J. Tretmans (2006): Model-Based Testing of Environmental Conformance of Components. In: FMCO, LNCS 4709. Springer, pp. 1–25. Available at
  6. D. Giannakopoulou, C. S. Pasareanu & H. Barringer (2005): Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3), pp. 297–320. Available at
  7. O. Kupferman & M. Vardi (1998): Modular model checking. In: Compositionality: The Significant Difference, LNCS 1536. Springer, pp. 81–102. Available at
  8. N. Noroozi, R. Khosravi, M.R. Mousavi & T. A. C. Willemse (2011): Synchronizing Asynchronous Conformance Testing. In: SEFM, LNCS 7041. Springer, pp. 334–349. Available at
  9. N. Noroozi, M.R. Mousavi & T.A.C. Willemse (2013): Decomposability in Formal Conformance Testing. Technical Report CSR-13-02. TU/Eindhoven.
  10. C. S. Pasareanu, M. B. Dwyer & M. Huth (1999): Assume-Guarantee Model Checking of Software: A Comparative Case Study. In: Theoretical and Practical Aspects of SPIN Model Checking, LNCS 1680. Springer, pp. 168–183. Available at
  11. A. Simão & A. Petrenko (2011): Generating asynchronous test cases from test purposes. Information & Software Technology 53(11), pp. 1252–1262. Available at
  12. J. Tretmans (1996): Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3), pp. 103–120.
  13. J. Tretmans (2008): Model Based Testing with Labelled Transition Systems. In: Formal Methods and Testing, LNCS 4949. Springer, pp. 1–38. Available at
  14. T. Villa, N. Yevtushenko, R.K. Brayton, A. Mishchenko, A. Petrenko & A. Sangiovanni-Vincentelli (2012): The Unknown Component Problem, Theory and Applications. Springer, doi:10.1007/978-0-387-68759-9.
  15. M. Weiglhofer & F. Wotawa (2009): Asynchronous Input-Output Conformance Testing. In: COMPSAC. IEEE Computer Society, pp. 154–159. Available at
  16. T. A. C. Willemse (2006): Heuristics for ioco -Based Test-Based Modelling. In: FMICS/PDMC, LNCS 4346. Springer, pp. 132–147. Available at

Comments and questions to:
For website issues: