References

  1. Fides Aarts & Frits Vaandrager (2010): Learning I/O Automata. In: International Conference on Concurrency Theory. Springer, pp. 71–85, doi:10.1007/978-3-642-15375-4_6.
  2. Rajeev Alur, Thomas Henzinger, Orna Kupferman & Moshe Vardi (1998): Alternating Refinement Relations. In: International Conference on Concurrency Theory. Springer, pp. 163–178, doi:10.1007/BFb0055622.
  3. Roderick Bloem, Robert Könighofer, Ingo Pill & Franz Röck (2016): Synthesizing Adaptive Test Strategies from Temporal Logic Specifications. In: Formal Methods in Computer-Aided Design. IEEE, pp. 17–24, doi:10.1109/FMCAD.2016.7886656.
  4. Petra Bosvan denVan den Bos, Ramon Janssen & Joshua Moerman (2017): n-Complete Test Suites for IOCO. In: IFIP International Conference on Testing Software and Systems. Springer, pp. 91–107, doi:10.1007/978-3-319-67549-7_6.
  5. Laura Brandán Briones & Hendrik Brinksma (2004): A Test Teneration Framework for Quiescent Real-Time Systems. In: Proc. Formal Approaches to Testing of Software (4th International Workshop), pp. 71 – 85, doi:10.1007/978-3-540-31848-4_5.
  6. Krishnendu Chatterjee, Luca De Alfaro & Rupak Majumdar (2008): The Complexity of Coverage. In: Asian Symposium on Programming Languages and Systems. Springer, pp. 91–106, doi:10.1007/978-3-540-89330-1_7.
  7. Eric Dallal, Daniel Neider & Paulo Tabuada (2016): Synthesis of Safety Controllers Robust to Unmodeled Intermittent Disturbances. In: Decision and Control (CDC), 2016 IEEE 55th Conference on. IEEE, pp. 7425–7430, doi:10.1109/CDC.2016.7799416.
  8. Alexandre David, Kim Larsen, Shuhao Li & Brian Nielsen (2008): Cooperative Testing of Timed Systems. Electronic Notes in Theoretical Computer Science, pp. 79–92, doi:10.1016/j.entcs.2008.11.007.
  9. Alexandre David, Kim Larsen, Shuhao Li & Brian Nielsen (2008): A Game-Theoretic Approach to Real-Time System Testing. In: Design, Automation and Test in Europe. IEEE, pp. 486–491, doi:10.1145/1403375.1403491.
  10. Alexandre David, Kim Larsen, Shuhao Li & Brian Nielsen (2009): Timed Testing under Partial Observability. In: International Conference on Software Testing Verification and Validation. IEEE, pp. 61–70, doi:10.1109/ICST.2009.38.
  11. Niklas Krafczyk & Jan Peleska (2017): Effective Infinite-State Model Checking by Input Equivalence Class Partitioning. In: IFIP International Conference on Testing Software and Systems. Springer, pp. 38–53, doi:10.1007/978-3-319-67549-7_3.
  12. Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann & Wolfgang Grieskamp (2004): Optimal Strategies for Testing Nondeterministic Systems. ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 55–64, doi:10.1145/1013886.1007520.
  13. Christos Papadimitriou (2001): Algorithms, Games, and the Internet. In: Proceedings of the thirty-third annual ACM symposium on Theory of computing. ACM Press, pp. 749–753, doi:10.1145/380752.380883.
  14. Adenilso Simao & Alexandre Petrenko (2014): Generating Complete and Finite Test Suite for ioco: Is It Possible?. In: Proceedings of the Ninth Workshop on Model-Based Testing, pp. 56–70, doi:10.4204/EPTCS.141.5.
  15. Willem Stokkink, Mark Timmer & Mariëlle Stoelinga (2013): Divergent Quiescent Transition Systems. In: Proceedings seventh conference on Tests and Proofs, LNCS, doi:10.1007/978-3-642-38916-0_13.
  16. Mark Timmer, Hendrik Brinksma & Mariëlle Stoelinga (2011): Model-Based Testing. In: Software and Systems Safety: Specification and Verification, NATO Science for Peace and Security. IOS Press, pp. 1–32, doi:10.3233/978-1-60750-711-6-1.
  17. Jan Tretmans (2008): Model Based Testing with Labelled Transition Systems. In: Formal methods and testing. Springer, pp. 1–38, doi:10.1007/978-3-540-78917-8_1.
  18. Margus Veanes & Nikolaj Bjørner (2010): Alternating Simulation and IOCO. In: IFIP International Conference on Testing Software and Systems. Springer, pp. 47–62, doi:10.1007/978-3-642-16573-3_5.
  19. René de Vries & Jan Tretmans (2001): Towards Formal Test Purposes. Formal Approaches to Testing of Software, FATES'01: A Satellite Workshop of CONCUR'01 Proceedings, pp. 61–76.
  20. Farn Wang, Sven Schewe & Jung-Hsuan Wu (2015): Complexity of Node Coverage Games. Theoretical Computer Science, pp. 45–60, doi:10.1016/j.tcs.2015.02.002.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org