Practical model-based testing: A tools approach

Practical Model-Based Testing: A Tools Approach

Volumn , Issue , 2006, Pages 1-433

  Utting, Mark ^a   Legeard, Bruno ^b  

^a UNIVERSITY OF WAIKATO   (New Zealand)

^b UNIVERSITÉ DE FRANCHE COMTÉ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84874226215     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-0-12-372501-1.X5000-5     Document Type: Book

References (154)

1. ISO/IEC 9646-1 Information Technology-Open Systems Interconnection- Conformance Testing Methodology and Framework, Part 1: General Concepts 1994, International Standards Organization.
2. Ammann P., Black P.E., Majurski W. Using model checking to generate tests from specifications. International Conference on Forum Engineering Methods 1998, 46-55. IEEE Computer Society.
3. Antoniol G., Briand L.C., Di Penta M., Labiche Y. A case study using the round-trip strategy for state-based class testing. 13th International Symposium on Software Reliability Engineering 2002, 269-279. IEEE Computer Society.
4. Abrial J.R. The B-Book: Assigning Programs to Meanings 1996, Cambridge University Press.
5. A. Aho, A. Dahbura, D. Lee, and M. U. Uyar. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chine.
6. A. Aho, A. Dahbura, D. Lee, and M. U. Uyar. An optimization technique for protocol conformance test generation based on UIO sequences and rural Chine.
7. A. A. Andrews, R. B. France, S. Ghosh, and G. Craig. Test adequacy criteria for UML design models. Software Testing Verification & Reliability, 13(2).
8. W Ambler S. Effective Practices for Extreme Programming and the Unified Process 2002, Wiley & Sons.
9. The American Heritage Dictionary of the English Language 2000, Houghton Mifflin.
10. Arlow J., Neustadt I. UML 2 and the Unified Process, Second Edition 2005, Addison- Wesley Professional.
11. Blackburn M., Busser R., Nauman A. Understanding the generations of test automation. STAREAST 2003 2003, Available. http://www.software.org/pub/externalpapers/understanding_generations_of_test_automation.pdf.
12. Blackburn M., Busser R., Nauman A. Why model-based test automation is different and what you should know to get started. International Conference on Practical Software Quality and Testing 2004, Available. http://www.psqtconference.com/2004east/program.php.
13. L. Burdy, Y. Cheon, D. R. Cok, et al. An overview of JML tools and applications. Software Tools for Technology Transfer, 7(3):212-232.
14. Behm P., Desforges P., Meynadier J.M. METEOR: An industrial success in formal development. Proceedings of the 2nd International Conference on the B method 1998, 29-45. Springer-Verlag.
15. Beck K. Test-Driven Development by Example 2003, Addison-Wesley Professional.
16. Beizer B. Software Testing Techniques, Second Edition 1990, International Thomson Computer Press.
17. Beizer B. Black-Box Testing: Techniques for Functional Testing of Software and Systems 1995, Wiley.
18. B. Boehm, T Gray, and T Seewaldt. Prototyping versus specifying: A multiproject experiment. IEEE Transactions on Software Engineering, SE-10(3):290-30.
19. Binder R.V. Testing Object-Oriented Systems: Models, Patterns, and Tools. The Addison-Wesley Object Technology Series 1999, Addison-Wesley.
20. Model-Based Testing of Reactive Systems 2005, Springer-Verlag. M. Broy, B. Jonsson, J.-P. Katoen (Eds.).
21. Bouquet E, Jaffuel E., Legeard B., Peureux F., Utting M. Requirement traceability in automated test generation: Application to smart card software validation. Proceeding of the ICSE International Workshop on Advances in Model-Based Software Testing 2005, ACM Press.
22. Bouquet F., Legeard B. Reification of executable test scripts in formal specification-based test generation: The Java card transaction mechanism case study. Proceedings of the International Symposium of Formal Methods Europe 2003, 778-795. Springer- Verlag.
23. Briand L.C., Labiche Y., Lin Q. Improving statechart testing criteria using data flow information. 13th International Symposium on Software Reliability Engineering 2005, 95-104. IEEE Computer Society.
24. E. Bernard, B. Legeard, X. Luck, and F. Peureux. Generation of test sequences from formal specifications: GSM 11.11 standard case study. Software: Pr.
25. Bouquet F., Legeard B., Peureux F., Torreborre E. Mastering test generation from smart card software formal models. Proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices 2004, 70-85. Springer- Verlag.
26. Barnett M., Rustan K., Leino M., Schulte W The Spec# programming system: An overview. Proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices 2004, 49-69. Springer-Verlag.
27. J. Bowen. Z website, 2006. http://vl.zuser.org.
28. Bochmann G.V., Petrenko A. Protocol testing: Review of methods and relevance for software testing. Proceedings of the 1994 ACM SIGSOFT International Symposium on Software Testing and Analysis 1994, 109-124. ACM Press.
29. M. Barnett and W. Schulte. Runtime verification of.NET contracts. Elsevier Journal of Systems and Software, 65(3): 199-208. Extended version available.
30. Burnstein I., Carlson C.R., Suwannasart T. Developing a testing maturity model: Part I. Crosstalk: The Journal of Defense Software Engineering 1996, 21-24. August, Available. http://www.stsc.hill.af.mil/crosstalk/1996/articles.html.
31. Burnstein I., Suwannasart T., Carlson C.R. Developing a testing maturity model: Part II. Crosstalk: The Journal of Defense Software Engineering 1996, September, Available. http://www.stsc.hill.af.mil/crosstalk/1996/articles.html.
32. Brinksma E., Tretmans J. Testing transition systems: An annotated bibliography. Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000 2001, 187-195. Springer-Verlag, Nantes, France.
33. Burton S. Automated Generation of High Integrity Test Suites from Graphical Specifications. PhD thesis 2002, March, Department of Computer Science, University of York.
34. Burnstein I. Practical Software Testing: A Process-Oriented Approach 2003, Springer-Verlag.
35. Campbell C., Grieskamp W., Nachmanson L. Model-based testing of object-oriented reactive systems with Spec Explorer. Technical Report MSR-TR-2005-59 2005, May, Available, Microsoft Research. http://www.research.microsoft.com/SpecExplorer.
36. T. S. Chow. Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, SE-4(3):178-187.
37. Clarke D., Jéron T., Rusu V., Zinovieva E. STG: A symbolic test generation tool. Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2002, 470-475. Springer-Verlag.
38. Clarke J. Automated test generation from behavioral models. Proceedings of the 11th Software Quality Week 1998.
39. S. Colin, B. Legeard, and F. Peureux. Preamble computation in automated test case generation using constraint logic programming. Software Testing, Ver.
40. D. A. Carrington, I. MacColl, J. McDonald, L. Murray, and P. A. Strooper. From Object-Z specifications to classbench test suites. Software Testin.
41. Cockburn A. Agile Software Development 2001, Addison-Wesley Professional.
42. Copeland L. A Practitioner's Guide to Software Test Design 2004, Artech House Publishers.
43. Carrington D.A., Stocks P. A tale of two paradigms: Formal methods and software testing. Proceedings of the 8th Z User Meeting 1994, 51-68. Springer-Verlag.
44. Craggs I., Sardis M., Heuillard T. AGEDIS case studies: Model-based testing in industry. Proceedings of the 1st European Conference on Model-Driven Software Engineering 2003, 129-132. imbus AG, Slides from the conference are available from. http://www.agedis.de/conference.
45. [CY96] T. Yueh Chen and Y. Tak Yu. A more general sufficient condition for partition testing to be better than random testing. Information Processing Letters,.
46. du Bousquet L., Ramangalahy S., Simon S. Formal test automation: The conference protocol with TGV/Torx. Proceedings of the IFIP 13th International Conference on Testing of Communicating Systems 2000, 221-228. Kluwer Academic Publishers. H. Ural, R.L. Probert, G. von Bochmann (Eds.).
47. Dalal S.R., Jain A., Karunanithi N. Model-based testing in practice. Proceedings of the 21st International Conference on Software Engineering 1999, 285-294. IEEE Computer Society Press.
48. J. Duran and S. Ntafos. An evaluation of random testing. IEEE Transactions on Software Engineering, SE-10(4):438-444.
49. A. DeMillo and J. Offutt. Constraint-based test data generation. IEEE Transactions on Software Engineering, SE-17(9):900-910.
50. El-Far I.K., Whittaker J.A. Model-based software testing. Encyclopedia of Software Engineering 2002, 825-837. Wiley-InterScience, vol. 1. J.J. Marciniak (Ed.).
51. European Telecommunications Standards Institute F-06921 Sophia Antipolis cedex, France. GSM 11-11 V7.2.0 Technical Specifications 1999.
52. Fewster M., Graham D. Software Test Automation 1999, Addison-Wesley.
53. R. B. France, S. Ghosh, T Dinh-Trong, and A. Solberg. Model-driven development using UML 2.0: Promises and pitfalls. Computer, 39(2):59-66.
54. E. Farchi, A. Hartman, and S. S. Pinter. Using a model-based test generator to test for standard conformance. IBM Systems Journal, 41(1):89-110.
55. Fitzgerald J., Larsen P.G., Mukherjee P. Validated Designs for Object- Oriented Systems 2005, Springer.
56. Fowler Martin UML Distilled: A Brief Guide to the Standard Object Modeling Language 2004, Addison-Wesley. Third Edition.
57. Friedl J.E.F. Mastering Regular Expressions 1997, O'Reilly.
58. [FvBK+91] S. Fujiwara, G. von Bochmann, F. Khendek, et al. Test selection based on finite state models. IEEE Transactions on Software Engineering, 17(6):5.
59. Goodenough J.B., Gerhart S.L. Toward a theory of testing: Data selection criteria. Current Trends in Programming Methodology 1977, 2:44-79. Prentice-Hall.
60. Proceedings of the Workshop on Model Based Testing (MBT 2004), volume 111 of Electronic Notes in Theoretical Computer Science 2005, Elsevier. Y. Gurevich, A.K. Petrenko, A. Kossatchev (Eds.).
61. Gross H.-G. Component-Based Software Testing with UML 2005, Springer-Verlag.
62. M. Guan. Graphic programming using odd and even points. Chinese Mathematics, 1:273-277.
63. W. Gutjahr. Partition testing versus random testing: The influence of uncertainty. IEEE Transactions on Software Engineering, 25(5):661-674.
64. Hamlet R. Random testing. Encyclopedia of Software Engineering 2002, vol. 2:1095-1104. Wiley-InterScience. J.J. Marciniak (Ed.).
65. D. Harel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231-274.
66. Hartman A. AGEDIS final program report: Deliverable 1.6 February, Available. http://www.agedis.de/downloads.shtml.
67. F. C. Hennie. Fault detecting experiments for sequential circuits. In Proceedings of the 5th Annual Symposium on Switching Circuit Theory and Logical.
68. Heerink L., Feenstra J., Tretmans J. Formal test automation: The conference protocol with Phact. Testing of Communicating Systems: Procceedings of TestCom 2000 2000, 211-220. Kluwer Academic Publishers. H. Ural, R.L. Probert, G. von Bochmann (Eds.).
69. Hong H.S., Ha S.D., Lee I. Data flow testing as model checking. Proceedings of the Internal Conference on Software Engineering 2003, 232-242. IEEE Computer Society Press.
70. Hierons R.M., Harman M., Singh H. Automatically generating information from a Z specification to support the classification tree method. Proceedings of the 3rd International Conference of B and Z Users, June 2003 2003, 388-407. Springer. D. Bert, J.P. Bowen, S. King, M.A. Waldén (Eds.).
71. R. Hierons. Testing from a Z specification. Software Testing, Verification & Reliability, 7:19-33.
72. R. M. Hierons. Generating candidates when testing a deterministic implementation against a non-deterministic finite-state machine. Computer Journal, 4.
73. R. M. Hierons. Testing from a nondeterministic finite state machine using adaptive state counting. IEEE Transactions on Computers, 53(10):1330-1342.
74. I. J. Hayes and C. B. Jones. Specifications are not (necessarily) executable. IEE/BCS Software Engineering Journal, 4(6):330-338.
75. D. Harel and A. Naamad. The STATEMATE semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333.
76. Hicks B.J., Osborne M.W., Ling N. Quantitative estimates of fish abundance from boat electrofishing. Proceedings, Australian Society for Fish Biology annual conference 2005, Darwin, NT, 11-15 July.
77. Hopcroft J. A n log n algorithm for minimizing states in a finite automaton. Theory of Machines and Computation 1971, 189-196. Academic Press.
78. Horstmann M., Prenninger W., El-Ramly M. Case studies. Model-Based Testing of Reactive Systems 2005, 439-461. Springer-Verlag. M. Broy, B. Jonsson, J.-P. Katoen (Eds.).
79. R. Hierons, S. Sadeghipour, and H. Singh. Testing a system specified using State- charts and Z. Information and Software Technology, 43(2):137-149.
80. Hicks B.J., Ling N., Osborne M.W., Bell D.G., Ring C.A. Boat electrofishing survey of the lower Waikato River and its tributaries. CBER Contract Report No. 39 2005, Client report prepared for Environment Waikato, Centre for Biodiversity and Ecology Research, Department of Biological Sciences, The University of Waikato, Hamilton.
81. 13568 ISO/IEC Information Technology-Z Formal Specification Notation-Syntax, Type System and Semantics 2002, ISO/IEC. First Edition.
82. [JJ05] C. Jard and T. Jéron. TGV: Theory, principles and algorithms. International Journal on Software Tools for Technology Transfer, 7(4):297-315.
83. Jones C.B. Systematic Software Development Using VDM 1990, Available, Prentice- Hall. http://www.csr.ncl.ac.uk/vdm, Second Edition.
84. R. M. Keller. Formal verification of parallel programs. Communications of the ACM, 19(7):371-384.
85. Kosmatov N., Legeard B., Peureux F., Utting M. Boundary coverage criteria for test generation from formal models Proceedings of the 15th International Symposium on Software Reliability Engineering 2004, 139-150. IEEE Computer Society, November.
86. Koomen T., Pol M. Test Process Improvement: A Practical Step-by-Step Guide to Structured Testing 1999, Addison-Wesley Professional.
87. Kuliamin V., Petrenko A., Bourdonov I., Kossatchev A. UniTesK test suite architecture. International Symposium of Formal Methods Europe 2002, 77-88. Springer-Verlag.
88. V. V. Kuliamin, A. K. Petrenko, A. S. Kossatchev, and I. B. Burdonov. The uniTesK approach to designing test suites. Programming and Computing Softwa.
89. Kruchten P. The Rational Unified Process: An Introduction 2003, Addison- Wesley Professional. Second Edition.
90. A. Kervinen and P. Virolainen. Heuristics for faster error detection with automated black box testing. In Gurevich et al. [GPK05], 53-71.
91. Leavens G., et al. The Java Modeling Language (JML) home page http://www.jmlspecs.org.
92. Larsen K.G., Mikucionis M., Nielsen B., Skou A. Testing real-time embedded software using UPPAAL-TRON: An industrial case study. Proceedings of the 5th ACM International Conference on Embedded Software 2005, 299-306. ACM Press.
93. Legeard B., Peureux F., Utting M. Automated boundary testing from Z and B. Proceedings of the International Conference on Formal Methods Europe 2002, 21-40. Springer Verlag.
94. B. Legeard, F. Peureux, and M. Utting. Controlling test case explosion in test generation from B formal models. Software Testing, Verification & Relia.
95. Lynch N., Tuttle M. Hierarchical correctness proofs for distributed algorithms. Proceedings of the 6th ACM Symposium on Principles of Distributed Computing 1987, 137-151. ACM Press.
96. Luo G., von Bochmann G., Petrenko A. Test selection based on communicating nondeterministic finite-state machines using a generalized WP-method. IEEE Transactions on Software Engineering 1994, 20:149-162. IEEE Computer Society, 2.
97. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE, 84(2): 1090-1126.
98. Marre B., Arnould A. Test sequences generation from LUSTRE descriptions: GATEL. Proceedings of the 15th IEEE Conference on Automated Software Engineering 2000, 229-237. IEEE Computer Society Press.
99. Marre B. LOFT: A tool for assisting selection of test data sets from algebraic specifications. Theory and Practice of Software Development 1995, 799-800. Springer-Verlag.
100. Mugridge R., Cunningham W. FIT for Developing Software: Framework for Integrated Tests 2005, Prentice-Hall.
101. Miller R.E., Chen D., Lee D., Hao R. Coping with nondeterminism in network protocol testing. Proceedings of the 17th IFIP TD 6/WG 6.1 International Conference, TestCom 2005, 129-145. Springer-Verlag.
102. Meudec C. Automatic generation of software test cases from formal specifications. PhD thesis 1997, Faculty of Sciences, Queen's University of Belfast.
103. Moore E.F. Gedanken-experiments on sequential machines. Automata Studies 1956, 129-153. Princeton University Press.
104. L. J. Morell. A theory of fault-based testing. IEEE Transactions on Software Engineering,.
105. Mosley D., Posey B. Just Enough Software Test Automation 2002, Yourdon Press, Prentice-Hall.
106. McQuillan J.A., Power J.F. A survey of UML-based coverage criteria for software testing. Technical Report NUIM-CS-TR-2005-08 2005, Department of Computer Science, NUI Maynooth, Ireland.
107. Musa J. Software Reliability Engineering 2004, Authorhouse. Second Edition.
108. Myers G.J. The Art of Software Testing 1979, John Wiley & Sons.
109. Nam D.H., Mousset E.C., Levy D.C. Automating the testing of object behaviour: A statechart-driven approach. Transactions on Engineering Computing and Technology, Proceedings of Enformatika 2006, 145-149. World Enformatika Society. http://www.enformatika.org.
110. Naito S., Tsunoyama M. Fault detection for sequential machines by transition- tours. Proceedings of the IEEE International Symposium on Fault Tolerant Computer Systems 1981, 238-243. World Enformatika Society.
111. S. C. Ntafos. On comparisons of random, partition, and proportional partition testing. IEEE Transactions on Software Engineering, 27(10):949-960.
112. Orcutt I., Abdurazik A. Generating test cases from UML specifications. Second International Conference on the Unified Modeling Language (UML99) 1999, 416-429. Springer- Verlag.
113. Offut A.J., Xiong Y., Liu S. Criteria for generating specification-based tests. Proceedings of the 5th International Conference on Engineering of Complex Computer Systems 1999, 119-131. IEEE Computer Society Press.
114. A. M. Paradkar. Towards model-based generation of self-priming and self-checking conformance tests for interactive systems. Information & Software Tec.
115. Petrenko A. Fault model-driven test derivation from finite state models: Annotated bibliography. Modeling and Verification of Parallel Processes 2001, 196-205. Springer-Verlag.
116. Pretschner A., Prenninger W, Wagner S., et al. One evaluation of model-based testing and its automation. Proceedings of the 27th International Conference on Software Engineering 2005, 392-401. ACM Press.
117. Prowell S.J. JUMBL: A tool for model-based statistical testing. Proceedings of the 36th Annual Hawaii International Conference on System Sciences 2003, 331-345. IEEE.
118. Microsoft Research. Spec#. Available http://research.microsoft.com/specsharp, 2006.
119. Microsoft Research. Spec Explorer. Available http://research.microsoft.com/ SpecExplorer, 2006.
120. Rumbaugh J., Jacobson I., Booch G. The Unified Modeling Language Reference Manual 2005, Addison-Wesley Professional. Second Edition.
121. Robinson H. Graph theory techniques in model-based testing. International Conference on Testing Computer Software 1999, Available. http://www.geocities.com/harry_robinson_testing/graph_theory.htm.
122. Robinson H. Obstacles and opportunities for model-based testing in an industrial software environment. First European Conference on Model-Driven Software Engineering 2003, Slides from the conference available from. http://www.agedis.de/conference.
123. Robinson H. Model-based testing. STAREAST 2005 Tutorial 2005, Available. http://www.geocities.com/harry_robinson_testing/stareast2005.htm.
124. RTCA Committee SC-167 Software considerations in airborne systems and equipment certification, 7th draft to DO-178B/ED-12A 1992, July.
125. Sánchez M.A., Augusto J.C., Felder M. Fault-based testing of e-commerce applications. Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems 2004, 66-74. INSTICC Press.
126. Samek M. Practical Statecharts in C/C++: Quantum Programming for Embedded Systems with CDROM 2002, CMP Books.
127. Schwaber K., Beedle M. Agile Software Development with SCRUM 2001, Prentice-Hall.
128. Schneider S. The B-Method: An Introduction 2001, Palgrave.
129. K. K. Sabnani and A. T. Dahbura. A protocol test generation procedure. Computer Networks and ISDN Systems, 15(4):285-297.
130. D. P. Sidhu and T. K. Leung. Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering, 15(4):413-426.
131. Sommerville I. Software Engineering 2000, Addison-Wesley. Sixth Edition.
132. Spivey J.M. The Z Notation: A Reference Manual, 1992, Available, Prentice-Hall. http://www.spivey.oriel.ox.ac.uk/mike/zrm/index.html, Second Edition.
133. Stocks P. Applying Formal Methods to Software Testing. PhD thesis 1993, Available, The University of Queensland. http://www.bond.edu.au/it/staff/publications/PhilS.pubs.htm.
134. K. Stobie. Model based testing in practice at Microsoft. In Gurevich et al. [GPK05], 5-12.
135. Tretmans J., Brinksma E. TorX: Automated model-based testing. First European Conference on Model-Driven Software Engineering 2003, 31-43. Slides from the conference available from. http://www.agedis.de/conference.
136. H. W Thimbleby. The directed Chinese postman problem. Software: Practice and Experience, 33(11):1081-1096.
137. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software: Concepts and Tools, 17(3):103-120.
138. Tretmans J. Model-based testing: Property checking for real. Keynote address at the International Workshop for Construction and Analysis of Safe Secure, and Interoperable Smart Devices 2004, Available. http://www.sop.inria.fr/everest/events/cassis04.
139. Utting M., Pretschner A., Legeard B. A taxonomy of model-based testing. Technical Report 04/2006 2006, April, Available, Computer Science Department, The University of Waikato. http://www.cs.waikato.ac.nz/pubs/wp.
140. Vasilevskii M.P. Failure diagnosis of automata. Cybernetics 1973, 9:653-665.
141. Vasilevskii M.P. Failure diagnosis of automata. Kibernetika 1973, 4:98-108. Translated from.
142. M. Veanes, C. Campbell, W. Schulte, and N. Tillmann. Online testing with model programs. SIGSOFT Software Engineering Notes, 30(5):273-282.
143. van Lamsweerde A. Formal specification: A roadmap. Proceedings of the Conference on the Future of Software Engineering 2000, 147-159. ACM Press.
144. L. J. White and E. I. Cohen. A domain strategy for computer program testing. IEEE Transactions of Software Engineering, SE-6(3):247-257.
145. Willcock C., Deiß T, Tobies S., al.et An Introduction to TTCN-3 2005, Wiley.
146. Weatherill T In the testing maturity model maze. Journal of Software Testing Professionals 2001, 2(1):8-13. Available, journal after free registration. http://www.testinginstitute.com.
147. Whittaker J.A. How to Break Software: A Practical Guide to Testing 2003, Addison-Wesley.
148. Wikipedia Global system for mobile communications-Wikipedia, the free encyclopedia 2006 2006, Accessed 4 April. http://www.en.wikipedia.org.wiki/GSM.
149. Warmer J., Kleppe A. The Object Constraint Language: Getting Your Models Ready for MDA 2003, Addison-Wesley. Second Edition.
150. G. Walton and J. Poore. Generating transition probabilities to support model-based software testing. Software: Practice and Experience, 30(10):1095-110.
151. G. H. Walton, J. H. Poore, and C. J. Trammell. Statistical testing of software based on a usage model. Software: Practice and Experience, 25(1):97-108.
152. J. A. Whittaker and M. G. Thomason. A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering, 20(10):812-824.
153. Yang B., Ural H. Protocol conformance test generation using multiple UIO sequences with overlapping. Proceedings of the ACM Symposium on Communications Architectures & Protocols 1990, 118-125. ACM Press.
154. H. Zhu, P. A. V. Hall, and J. H. R. May. Software unit test coverage and adequacy. ACM Computing Surveys, 29(4):366-427.