References
- L. J. Osterweil, et. al., 'Strategic direc-tions in software Quality,' ACM Computing Surveys, 738-750, Dec. 1996
- M. J. Harrold, 'Testing: A Roadmap, in The Future of Software Engineering,' A. Finkelstein, ed., ACM Press, New York 2000
- J. B. Goodenough and S. L. Gerhart, 'Toward a Theory of Test Data Selection,' IEEE Transactions on Software Engineer-ing, June 1975
- E. J. Weyuker, 'Axiomatizing Software Test Data Adequacy,' IEEE TSE. Dec. 1986
- E. J. Weyuker, 'The Evaluation of Program-based Software Test Data Adequacy Criteria,' CACM, June 1988
- S. H. Zweben and J. S. Gourlay, 'Comments, with reply, on 'Axiomatizing software test data adequacy' by E.J. Weyuker,' IEEE TSE, April 1989
- E. J. Weyuker and T. J. Ostrand, 'Theories of Program Testing and the Application of Revealing Subdomains,' IEEE TSE pp. 236-246, May 1980
- J. W. Duran and S. C. Ntafos, 'An Evaluation of Random Testing,' IEEE TSE, pp. 438-444, JuI 1984
- E. J. Weyuker and B. Jeng, 'Analyzing Partition Testing Strategies,' IEEE TSE vol. 17, no. 7, pp. 703-711, Jul 1991
- T. Y. Chen and Y. T. Yu, 'On the Expected Number of Failures Detected by Subdomain Testing and Random Testing,' IEEE TSE, vol. 22, no. 2, pp. 109-119 Feb 1996
- S. C. Ntafos, 'On Comparisons of Random, Partition, and Proportional Partition Testing,' IEEE TSE, vol. 27, no. 10, pp. 949-960. Oct 2001
- Myers, G., The Art of Software Testing, Wiley-Interscience, 1979
- P. G. Frankl and O. Iakounenko, 'Further empirical studies of test effectiveness,' In ACM SIGSOFT Software Engineering Notes, Sixth Intemational Symposium on Foundations of Software Engineering, Volume 23, pages 153-162, November 1998
- A. Paradkar, K. Tai, and M. A. Vouk, 'Automatic test-generation for predicates' IEEE Transactions on reliability, 45(4): 515-530, December 1996
- M. J. Harrold and G. Rothermel, 'Performing data flow testing on classes,' 2nd ACM SIGSOFT Symposium on the Foundations of software engineering, Pa-ges 154-163, December 1994
- B. Rudner, 'Seeding/tagging estimation of software errors: models and estimates,' Rome Air Development Centre, Rome, NY, RADC-TR-77-15, also AD-A036 655, 1977
- R. J. Lipton, et. al., 'Hints on test data selection: Help for the practicing Pro-grammer,' IEEE Computer, vol. 11, no. 4, pp. 34-41, April 1978
- R. A. DeMillo, D et. al., 'An extended overview of the Mothra software testing environment,' Proc. of the Second Workshop on Software Testing, Verifica-tion, and Analysis, pp. 142-151, July 1988
- Y. S. Ma, Y. R. Kwon, and J. Offutt. 'Inter-class mutation operators for Java,' In Proc. of the 13th ISSRE, pp. 352-363, November 2002
- A. T. Acree, On mutation. PhD Thesis Georgia Institute of Technology, Atlanta, GA, 1980
- A. J. Offutt, et. al., 'An experimental de-termination of sufficient mutation oper-ators' ACM TOSEM 1996; vol. 5, no. 2, pp. 99-118
- Choi B, Mathur AP. 'High-performance mutation testing,' Journal of Systems and Software 1993; vol. 20, no. 2, pp.135-152
- DeMillo RA, Krauser EW, Mathur AP. 'Compiler-integrated program mutation'. In Proc. of the 15th COMPSAC, September 1991. pp. 351-356
- Untch R, Offutt AJ, Harrold MJ. 'Mutation analysis using program Schema-ta,' In Proc. of ISSTA, une 1993. pp. 139-148
- Y. S. Ma, Jeff Offutt and Y. R. Kwon 'MuJava: An Automated Class Mutation System,' Journal of STVR will be appear at vol. 15, no. 2, 2005
- D. Lee and M. Yannakakis, 'Phnciples and Methods of Testing Finite State Machine - A Survey'. IEEE TSE, vol. 84 no. 8, pp. 1089-1123, 1996
- B. Y. Tsai, et. al., 'An Automatic Test Case Generator Derived from State-based Testing,' Proc. of APSEC, pp. 270-277. 1998
- H. S. Hong, et. al., 'A Test Sequence Selection Method for Statecharts,' Journal of STVR, vol. 10, no. 4, pp. 203-227, 2000
- Huo Yan Chen, T. H. Tse, and T. Y.Chen, 'TACCLE: a methodology for ob-ject-oriented software testing at the class and cluster levels,' ACM TOSEM, 10(1), 2001
- R.V. Binder, Testing Obiect-Onented Systems-Models, Patterns, and Tools, Object Technology. Addison-Wesley, 1999
- H. S. Hong, Y. R. Kwon, and S. D. Cha, 'Testing of Object-Ohented Programs Based on Finite State Machines,' in Proc. of APSEC, pp. 234-241, 1995
- M. J. Harrold, et. al., 'Incremental Testing of Object-Oriented Class Inheri-tance Structures,' In Proc. of the 14th ICSE '92, pp. 68-80, May 1992
- J. Offutt. et. al., 'A Fault Model for Subtype Inheritance and Polymorphism,' In Proc. of ISSRE '01, pp. 84-95, November 2001
- J. Voas, 'Developing a Usage-based Software Certification Process.' IEEE Computer, August 2000, pp. 32-37
- Y. Wang, et. al., 'A method for built-in tests in component-based software main-tenance,' In European Conference on soft-ware Maintenance and Reengineering(CSMR), pp 186-189, 1999
- V. S. Alagar, et. al., 'Automated Test Generation from Object-Oriented Specifi-cations of Real-Time Reactive Systems,' In Proc. of the lOth APSEC, pp. 406-414, 2003
- A. Bertolino and A. Polini. 'WCT' a Wrapper for Component Testing,' in Proc. of Fidji'2002, Nov. 28-29, 2002
- A. Orso. M. J. Harrold, and D. Rosenblum'Component Metadata for Software Engineering Tasks,' in W. Emmerich and S. Tai(Eds) ED02000, LNCS 1999, pp. 129-144
- JUnit.org, http://www.junit.org/index.htm
- J. Hartmann, and D. Robson, 'Techniques for selective revalidation,' IEEE Software 16, pp. 31-38, Jan. 1990
- M. J. Harrold and M. L. Soffa, 'An in cremental approach to unit testing during maintenance,' In Proc. of the Conference on Software Maintenance (Oct.), pp. 362-367, 1988
- G. Rothermel and M. J. Harrold. 'A safe, efficient regression test selection techni-que,' ACM TOSEM, 6(2): 173-210, Apr. 1997
- G. Rothermel, et. al., 'Prioritizing Test Cases for Regression Testing,' IEEE TSE, vol. 27, no. 10, pp. 929-948, Oct. 2001
- P. Hsia, et. al., 'A technique for the Se-lective revalidation of OO software,' Software Maintenance: Research and Practice, 9:217-233, 1997
- Paul E. Rook, 'Controlling software Pro-jects' IEE Software Engineering Journal 1, 1 (January 1986), 7-16