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.
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.
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.
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.
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.
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.
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.
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.
Bertrand Meyer (1992):
Applying "Design by Contract".
Computer 25(10),
pp. 40–51,
doi:10.1109/2.161279.
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.
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.
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.
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.