References

  1. Luca de Alfaro & Thomas A. Henzinger (2005): Interface-Based Design. In: Engineering Theories of Software Intensive Systems, NATO Science Series 195. Springer, pp. 83–104, doi:10.1007/1-4020-3532-2_3.
  2. Rajeev Alur, Thomas A. Henzinger, Orna Kupferman & Moshe Y. Vardi (1998): Alternating Refinement Relations. In: Concur'98. Springer, pp. 163–178, doi:10.1007/BFb0055622.
  3. Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi & Stefania Gnesi (2011): A Model-Checking Tool for Families of Services. In: LNCS 6722, pp. 44–58, doi:10.1007/978-3-642-21461-5_3.
  4. Sebastian S. Bauer, Rolf Hennicker & Stephan Janisch (2011): Interface Theories for (A)synchronously Communicating Modal I/O-Transition Systems. EPTCS 46, pp. 1–8, doi:10.4204/EPTCS.46.1.
  5. Axel Belinfante (2010): JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution.. In: Javier Esparza & Rupak Majumdar: TACAS, LNCS 6015. Springer, pp. 266–270.
  6. Harsh Beohar & Mohammad Reza Mousavi (2014): Input-output Conformance Testing Based on Featured Transition Systems. In: Proc. of SAC'14. ACM, New York, NY, USA, pp. 1272–1278, doi:10.1145/2554850.2554949.
  7. Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens & Axel Legay (2011): Symbolic Model Checking of Software Product Lines. In: ICSE'11, pp. 321–330, doi:10.1145/1985793.1985838.
  8. Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay & Jean-François Raskin (2010): Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In: ICSE '10, pp. 335–344, doi:10.1145/1806799.1806850.
  9. Paul Clements & Linda Northrop (2001): Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc..
  10. Dario Fischbein, Sebastián Uchitel & Víctor A. Braberman (2006): A Foundation for Behavioural Conformance in Software Product Line Architectures. In: Robert M. Hierons & Henry Muccini: ISSTA'06. ACM, pp. 39–48, doi:10.1145/1147249.1147254.
  11. Kim G. Larsen (1990): Modal Specifications. In: Automatic Verification Methods for Finite State Systems, LNCS 407. Springer, pp. 232–246, doi:10.1007/3-540-52148-8_19.
  12. Kim G. Larsen, Ulrik Nyman & Andrzej Wasowski (2007): Modal I/O Automata for Interface and Product Line Theories. In: Proc. of ESOP'07, LNCS 4421. Springer, pp. 64–79, doi:10.1007/978-3-540-71316-6_6.
  13. Kim G. Larsen & Bent Thomsen (1988): A Modal Process Logic. In: LICS, pp. 203–210.
  14. Malte Lochau, Sven Peldszus, Matthias Kowal & Ina Schaefer (2014): Model-Based Testing. In: Formal Methods for Executable Software Models, LNCS 8483. Springer, pp. 310–342, doi:10.1007/978-3-319-07317-0_8.
  15. Gerald Lüttgen & Walter Vogler (2013): Modal Interface Automata. LMCS 9.
  16. Rocco de Nicola (1987): Extensional equivalences for transition systems. Acta Informatica 237, pp. 211–237, doi:10.1007/BF00264365.
  17. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay & Roberto Passerone (2009): Modal Interfaces: Unifying Interface Automata and Modal Specifications. In: EMSOFT'09. ACM, pp. 87–96, doi:10.1145/1629335.1629348.
  18. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay & Roberto Passerone (2011): A Modal Interface Theory for Component-based Design. Fundam. Inf. 108, pp. 119–149.
  19. Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer & Gunter Saake (2014): A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, pp. 6:1–6:45, doi:10.1145/2580950.
  20. Jan Tretmans (1996): Test Generation with Inputs, Outputs and Repetitive Quiescence. Software – Concepts and Tools 17(3), pp. 103–120.
  21. Frits W. Vaandrager (1991): On the Relationship Between Process Algebra and Input/Output Automata. In: Proc. of LICS '91, pp. 387–398, doi:10.1109/LICS.1991.151662.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org