Cited references and notes

1. G. Booch, Object Oriented Analysis and Design with Applications, 2nd edition, Benjamin Cummings, San Francisco, CA (1994).
2. J. Callahan, F. Schneider, and S. Easterbrook, “Automated Software Testing Using Model-Checking,” Proceedings of the 1996 SPIN Workshop, Rutgers University, New Brunswick, NJ (1996), pp. 118–127.
3. J. Offutt and A. Abdurazik, “Generating Tests from UML Specifications,” Second International Conference on the Unified Modeling Language (UML99), Springer-Verlag, New York (1999).
4. A. Paradkar, “SALT: An Integrated Environment to Automate Generation of Function Tests for APIs,” Proceedings of the International Symposium on Software Reliability Engineering (ISSRE 2000), IEEE, New York (2000).
5. J. Offutt and S. Liu, “Generating Test Data from SOFL Specifications,” The Journal of Systems and Software 49, No. 1, 49–62 (1999). See http://isse.gmu.edu/faculty/ofut/rsrch/spec.html.
6. L. Apfelbaum and J. Doyle, “Model-Based Testing,” Proceedings of the 10th International Software Quality Week (QW97), Software Research, Inc., San Francisco, CA (1997).
7. A. Hartman and K. Nagin, “TCBeans, Software Test Toolkit,” Proceedings of the 12th International Software Quality Week (QW99), Software Research, Inc., San Francisco, CA (1999).
8. J. M. Clarke, “Automated Test Generation from a Behavioural Model,” Proceedings of the 11th International Software Quality Week (QW98), Software Research, Inc., San Francisco, CA (1998).
9. R. M. Poston, Automated Testing from Object Models, Aonix White Paper, Aonix, San Diego, CA (1998).
10. J. Grabowski, R. Scheurer, and D. Hogrefe, Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP, Technical Report A-97-07, University of Lubeck, Lubeck, Germany (1997).
11. U. Uyar, M. Fecko, A. Sethi, and P. Amer, “Generation of Realizable Conformance Tests Under Timing Constraints,” Proceedings of IEEE Military Communications Conference (MILCOM'98), Boston, MA (October 1998).
12. D. L. Dill, A. J. Drexler, A. J. Hu, and C. H. Yang, “Protocol Verification as a Hardware Design Aid,” IEEE International Conference on Computer Design: VLSI in Computers and Processors (1992).
13. H. S. Hong, Y. G. Kim, S. D. Cha, D. H. Bae, and H. Ural, “A Test Sequence Selection Method for Statecharts,” Software Testing, Verification and Reliability 10, No. 4, 203–227 (2000).
14. G. Rothermel, M. J. Harrold, and A. Safe, “Efficient Regression Test Selection Techniques,” ACM Transaction on Software Engineering and Methodology 6, No. 2, 173–210 (1997).
15. G. Wimmel, H. Lutzbeyer, A. Pretschner, and O. Slotosch, “Specification Based Test Sequence Generation with Propositional Logic,” Software Testing, Verification and Reliability 10, No. 4, 229–248 (2000).
16. A. Aharon, A. Gluska, L. Fournier, Y. Lichtenstein, and Y. Malka, Method for Measuring Architectural Test Coverage for Design Verification and Building Conformal Test, U.S. Patent No. 5,724,504.
17. B. Marick, The Craft of Software Testing, Prentice Hall, Englewood Cliffs, NJ (1995).
18. Portable Operating System Interface, IEEE standard 1003.1, The Institute of Electrical and Electronics Engineers (1990).
19. IEEE POSIX Certification Authority, http://standards.ieee.org/regauth/posix/.
20. O. Agesen and D. Detlefs, “Finding References in Java Stacks,” OOPSLA '97 Workshop on Garbage Collection and Memory Management, P. Dickman and P. R. Wilson, Editors, ACM, New York (October 1997).
21. S. Sinha and M. J. Harrold, “Analysis and Testing of Programs with Exception-Handling Constructs,” IEEE Transactions on Software Engineering 26, No. 9, 849–871 (2000).
22. G. J. Myers, The Art of Software Testing, John Wiley & Sons, New York (1979).
23. D. M. Woit, Realistic Expectations of Random Testing, Technical Report, McMaster University, Hamilton, ON, Canada (May 1992).
24. C. Kaner, “Software Negligence and Testing Coverage,” Proceedings of STAR 96: The Fifth International Conference on Software Testing Analysis and Review, Orlando, FL (May 1996), pp. 299–327.
25. R. H. Carver and K-C Tai, “Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs,” IEEE Transactions on Software Engineering 24, No. 6, 471–490 (June 1998).
26. J. A. Whittaker and M. G. Thomason, “A Markov Chain Model for Statistical Software Testing,” IEEE Transactions on Software Engineering 20, No. 10, 249–262 (October 1994).
27. D. Gelperin, “Ultra-Understandable Decision Tables,” available with the U3 Modeling Resource Kit at http://StickyMinds.com/. Search the site using string U3. Posted October, 2000.
28. A. Bertolino and F. Basanieri, “A Practical Approach to UML-Based Derivation of Integration Tests,” 4th International Software Quality Week Europe and International Internet Quality Week Europe (QWE 2000), Brussels, Belgium (November 2000).
29. S. R. Dala, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, and B. M. Horowitz, “Model-Based Testing in Practice,” 21st International Conference on Software Engineering (ICSE'99), Los Angeles, CA (1999).
30. C. Williams and A. Paradkar, “Efficient Regression Testing of Multi-Panel Systems,” Tenth International Symposium on Software Reliability Engineering (ISSRE'99), Boca Raton, FL (November 1999).
31. A. Paradkar, “SALT—An Integrated Environment to Automate Generation of Function Tests for APIs,” 11th International Symposium on Software Reliability Engineering (ISSRE'00), San Jose, CA (2000), pp. 304–316.
32. O. Henniger and H. Ural, “Test Generation Based on Control and Data Dependencies within Multi-Process SDL Specifications,” Proceedings of the 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM2000), Grenoble, France (June 2000).
33. J. R. Horgan, S. London, and M. R. Lyu, “Achieving Software Quality with Testing Coverage Measures,” IEEE Computer 27, No. 9, 60–69 (1994).
34. M. Schmitt, M. Ebner, and J. Grabowski, “Test Generation with Autolink and Test-Composer,” Proceedings of the 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM2000), Grenoble, France (June 2000).
35. J. Hartmann, C. Imoberdorf, and M. Meisinger, “UML-Based Integration Testing,” Proceedings of the International Symposium on Software Testing and Analysis, Portland, OR, ACM, New York (2000), pp. 60–70.
36. T. Quatrani and G. Booch, Visual Modeling with Rational Rose 2000 and UML, Addison-Wesley Publishing Co., New York (1999).
37. A. Gargantini and C. Heitmeyer, “Using Model-Checking to Generate Tests from Requirements Specifications,” Proceedings of the 7th European Software Engineering Conference (7th ACM SIGSOFT Symposium on the Foundations of Software Engineering), Toulouse, France, September 1999, Springer-Verlag, New York (1999).
38. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computations, Addison-Wesley Publishing Co., New York (1979).
39. Strictly speaking, the system under test is compliant with the Open Group UNIX 95 standard, which is a super set of the POSIX standard.
40. Ann T. Totten from the IBM Poughkeepsie Laboratory reported these results at an IBM symposium on software testing, in 2000.
41. J. Gosling, B. Joy, and G. Steele, The Java Language Specification, Sunsoft Java Series, Addison-Wesley Publishing Co., New York (1997).
42. B. Jacobs, A Formalisation of Java's Exception Mechanism, Technical Report CSI-R0015, Computing Science Institute, University of Nijmegen, Nijmegen, The Netherlands (1997). Also in the Proceedings of the European Symposium on Programming, Genova, Italy (April 2001).
43. S. Ntafos, “A Comparison of Some Structural Testing Strategies,” IEEE Transactions on Software Engineering 14, No. 6, 868–874 (1988).
44. P. Frankl and E. J. Weyuker, “An Applicable Family of Data Flow Testing Criteria,” IEEE Transactions on Software Engineering 14, No. 10, 1483–1498 (1998).
45. J. W. Laski and B. Korel, “A Data Flow Oriented Program Testing Strategy,” IEEE Transactions on Software Engineering SE-9 (1983), pp. 347–354.
46. K. Barabash, N. Buchbinder, T. Domani, E. K. Kolodner, Y. Ossia, S. S. Pinter, J. Shepherd, R. Sivan, and V. Umanski, “Mostly Accurate Stack Scanning,” First Java Virtual Machine Research and Technology Symposium, Monterey, CA (April 2001).
47. B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley, “The Jalapeño Virtual Machine,” IBM Systems Journal 39, No. 1, 211–238 (2000).
48. J. M. Stichnoth, G.-Y. Lueh, and M. Cierniak, “Support for Garbage Collection at Every Instruction in a Java Compiler,” Proceedings of the ACM SIGPLAN'99 Conference on Programming Language Design and Implementation, Atlanta, GA (May 1999), pp. 118–127.
49. O. Agesen, D. Detlefs, and J. E. Moss, “Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines,” Proceedings of the ACM SIGPLAN'98 Conference on Programming Language Design and Implementation, Montreal, Canada (June 1998), pp. 269–279.
50. IBM C and C++ Maintenance and Test Toolsuite, User's Manual, Release 1.1, IBM Corporation (incorporates suds technology from Bellcore).
51. I. Somerville, Software Engineering, Addison-Wesley Publishing Co., New York (1998). Section 29.1.