References

  1. Hayhurst Kelly J., Veerhusen Dan S., Chilenski John J. & Rierson Leanna K. (2001): A Practical Tutorial on Modified Condition/Decision Coverage. NASA Langley Research Center. Available at http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.1317.
  2. Bahareh Badban, Martin Franzle, Jan Peleska & Tino Teige (2006): Test Automation for Hybrid Systems. In: Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA 2006). ACM, New York, NY, USA, pp. 14–21, doi:10.1145/1188895.1188902.
  3. Anders Hessel, Kim G. Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson & Arne Skou (2008): Testing real-time systems using UPPAAL. In: Formal methods and testing, Lecture Notes In Computer Science 4949. Springer-Verlag, Berlin, Heidelberg, pp. 77-117 * , doi:10.1007/978-3-540-78917-8_3.
  4. Henrik Bohnenkamp & Axel Belinfante (2005): Timed testing with torx. In: Proceedings of the International Symposium of Formal Methods Europe, Lecture Notes In Computer Science 3582. Springer-Verlag, Berlin, Heidelberg, pp. 173-188, doi:10.1007/11526841_13.
  5. Moez Krichen & Stavros 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.
  6. Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann & Lev Nachmanson (2008): Model-based testing of object-oriented reactive systems with spec explorer. In: Formal methods and testing, Lecture Notes In Computer Science 4949. Springer-Verlag, Berlin, Heidelberg, pp. 39-76 * , doi:10.1007/978-3-540-78917-8_2.
  7. A. Grinevich, A. Khoroshilov, V. Kuliamin, D. Markovtsev, A. Petrenko & V. Rubanov (2006): Formal Methods in Industrial Software Standards Enforcement. In: Proceedings of PSI'2006, Novosibirsk, Russia, pp. 26–30, doi:10.1007/978-3-540-70881-0_41.
  8. Igor Bourdonov, Alexander Kossatchev, Victor Kuliamin & Alexander Petrenko (2002): UniTesK Test Suite Architecture. In: Proceedings of the International Symposium of Formal Methods Europe, Lecture Notes In Computer Science 2391. Springer-Verlag, Berlin, Heidelberg, doi:10.1007/3-540-45614-7_5.
  9. Bertrand Meyer (1992): Applying "Design by Contract". Computer 25(10), pp. 40–51, doi:10.1109/2.161279.
  10. CTesK 2.2 User’s Guide. Available at http://www.unitesk.com/download/papers/ctesk/ce/CTesK2.2CEUserGuide.eng.pdf.
  11. Igor Bourdonov, Alexander Kossatchev & Victor Kuliamin (2003): Irredundant traversal algorithms for oriented graphs: deterministic case. Programming and Computer Software 25(5), pp. 59–69. Available at http://panda.ispras.ru/~kuliamin/docs/Graphs-2003-ru.pdf.
  12. Igor Bourdonov, Alexander Kossatchev & Victor Kuliamin (2004): Irredundant traversal algorithms for oriented graphs: nondeterministic case. Programming and Computer Software 30(1), pp. 2–17. Available at http://panda.ispras.ru/~kuliamin/docs/Graphs-2004-ru.pdf.
  13. Hong Zhu, Patric A. V. Hall & John H.R. May (1997): Software Unit Test Coverage and Adequacy. ACM Computing Surveys (CSUR) 29(4), pp. 366–427, doi:10.1145/267580.267590.
  14. Igor Bourdonov, Alexander Kossatchev & Victor Kuliamin (2000): Use of finite state machines for testing programs. Programming and Computer Software 26(2), pp. 61–73. Available at http://panda.ispras.ru/~kuliamin/docs/FSM-2000-ru.pdf.
  15. Vadim Mutilin (2006): Design patterns for test scenarios. In: Proceedings of ISP RAS 9. ISP RAS, Moscow, Russia, pp. 97–128. Available at http://ispras.ru/ru/proceedings/docs/2006/9/isp_9_2006_97.pdf.
  16. IEEE standard 830-1998 – IEEE Recommended Practice for Software Requirements Specifications. Available at http://standards.ieee.org/findstds/standard/830-1998.htmlf.
  17. 19. IEEE standard 1233-1996 – IEEE Guide for Developing System Requirements Specifications. Available at http://standards.ieee.org/findstds/standard/1233-1996.html.

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