References

  1. A.E.F. Belinfante (2010): JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. Lecture Notes in Computer Science 6015. Springer, pp. 266–270, doi:10.1007/978-3-642-12002-2_21.
  2. S. Bensalem, D. Peled, H. Qu & S.S. Tripakis (2008): Automatic generation of path conditions for concurrent timed systems. Theor. Comput. Sci. 404(3), pp. 275–292, doi:10.1016/j.tcs.2008.03.012.
  3. H. C. Bohnenkamp & M.I.A. Stoelinga (2008): Quantitative testing. In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, (EMSOFT'08). ACM, pp. 227–236, doi:10.1145/1450058.1450089.
  4. L. Cheung, M.I.A. Stoelinga & F.W. Vaandrager (2007): A testing scenario for Probabilistic Automata. Journal of the ACM 54(6), doi:10.1145/1314690.1314693.
  5. D. Clarke, T. Jéron, V. Rusu & E. Zinovieva (2002): STG: A Symbolic Test Generation Tool. Lecture Notes in Computer Science 2280. Springer-Verlag, London, UK, pp. 470–475, doi:10.1007/3-540-45669-4.
  6. D. L. Cohn (1980): Measure Theory. Birkhäuser, doi:10.1007/978-1-4899-0399-0.
  7. W. Dulz & FF. Zhen (2003): MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3. In: Proceedings of the 3rd International Conference on Quality Software. IEEE Computer Society, doi:10.1109/QSIC.2003.1319119.
  8. L. Frantzen, J. Tretmans & T. A. C. Willemse (2006): A Symbolic Framework for Model-Based Testing. Lecture Notes in Computer Science 4262. Springer-Verlag, pp. 40–54, doi:10.1007/11940197_3.
  9. R. J. van Glabbeek, S. A. Smolka, B. Steffen & C.M.N. Tofts (1990): Reactive, generative, and stratified models of probabilistic processes. 5th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, pp. 130–141.
  10. A. Hessel, K. G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson & A. Skou (2008): Testing Real-Time Systems Using UPPAAL. Lecture Notes in Computer Science 4949. Springer, pp. 77–117, doi:10.1007/978-3-540-78917-8_3.
  11. R. M. Hierons & M Núñez (2010): Testing Probabilistic Distributed Systems. Lecture Notes in Computer Science 6117. Springer, pp. 63–77, doi:10.1007/978-3-642-13464-7_6.
  12. R. M. Hierons & M. Núñez (2012): Using schedulers to test probabilistic distributed systems. Formal Asp. Comput. 24(4-6), pp. 679–699, doi:10.1007/s00165-012-0244-5.
  13. Iksoon Hwang & Ana Cavalli (2010): Testing a probabilistic FSM using interval estimation. Computer Networks 54(7), pp. 1108 – 1125, doi:10.1016/j.comnet.2009.10.014.
  14. T. Jéron (2009): Symbolic Model-based Test Selection. Electr. Notes Theor. Comput. Sci. 240, pp. 167–184, doi:10.1016/j.entcs.2009.05.051.
  15. M. Krichen & S. Tripakis (2009): Conformance testing for real-time systems. Formal Methods in System Design 34(3), pp. 238–304, doi:10.1007/s10703-009-0065-1.
  16. K. G. Larsen, M. Mikucionis, B. Nielsen & A. Skou (2005): Testing real-time embedded software using UPPAAL-TRON: an industrial case study. ACM Press, pp. 299–306.
  17. K. G. Larsen & A. Skou (1989): Bisimulation Through Probabilistic Testing. ACM Press, pp. 344–352.
  18. W. Mostowski, E. Poll, J. Schmaltz, J. Tretmans & R. W. Schreur (2009): Model-Based Testing of Electronic Passports. Lecture Notes in Computer Science 5825. Springer, pp. 207–209.
  19. M. van Osch (2006): Hybrid Input-Output Conformance and Test Generation. In: Proceedings of FATES/RV 2006, Lecture Notes in Computer Science 4262, pp. 70–84.
  20. R. Segala (1995): Modeling and Verification of Randomized Distributed Real-time Systems, Cambridge, MA, USA.
  21. M.I.A. Stoelinga (2002): Alea jacta est: Verification of Probabilistic, Real-time and Parametric Systems. Radboud University of Nijmegen.
  22. M.I.A. Stoelinga & F. W. Vaandrager (2003): A Testing Scenario for Probabilistic Automata. Lecture Notes in Computer Science 2719. Springer, pp. 464–477, doi:10.1007/3-540-45061-0_38.
  23. W. G. J. Stokkink, M. Timmer & M.I.A. Stoelinga (2013): Divergent Quiescent Transistion Sytems. In: Proceedings 7th conference on Tests and Proofs (TAP'13), Lecture Notes in Computer Science, pp. 214–231, doi:10.1007/978-3-642-38916-0_13.
  24. M. Timmer, H. Brinksma & M. I. A. Stoelinga (2011): Model-Based Testing. In: Software and Systems Safety: Specification and Verification, NATO Science for Peace and Security Series D: Information and Communication Security 30. IOS Press, Amsterdam, pp. 1–32.
  25. J. Tretmans (1996): Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems 29(1), pp. 49–79, doi:10.1016/S0169-7552(96)00017-7.
  26. J. Tretmans (1996): Test Generation with Inputs, Outputs and Repetitive Quiescence.. Software - Concepts and Tools 17(3), pp. 103–120.
  27. J. Tretmans (2008): Model Based Testing with Labelled Transition Systems. In: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers, Lecture Notes in Computer Science 4949. Springer, pp. 1–38, doi:10.1007/978-3-540-78917-8_1.
  28. J. A. Whittaker & J. H. Poore (1993): Markov Analysis of Software Specifications. ACM Trans. Softw. Eng. Methodol. 2(1), pp. 93–106, doi:10.1145/151299.151326.
  29. J. A. Whittaker, K. Rekab & M. G. Thomason (2000): A Markov chain model for predicting the reliability of multi-build software. Information & Software Technology 42(12), pp. 889–894, doi:10.1016/S0950-5849(00)00122-1.

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