Ghezzi C, Jazayeri M, Mandrioli D. Fundamentals of Software Engineering. India: Prentice Hall, 1998.
Marie-Claude Gaudel. Testing from formal specifications, a generic approach. LNCS 2043, Springer-Verlag, May 2001, pp.35–48.
Tse T H, Zhinong Xu. Test case generation for class-level object-oriented testing. In Quality Process Convergence: Proc. 9th Int. Software Quality Week (QW’96), San Francisco, California, 1996, pp.4T4.0–4T4.12.
Tai K C, Lie Y. A test generation strategy for pairwise testing. IEEE TSE, January 2002, 28(1): 109–111.
Richard H Carver, Kuo-Chung Tai. Use of sequencing constraints for specification-based testing of concurrent programs. IEEE TSE, June 1998, 24(6): 471–490.
Murali Rangarajan, Perry Alexander, Nael Abu-Ghazaleh. Using automatable proof obligations for component based design checking. In Proc. IEEE Conf. Workshop on Engineering of Computer-Based Systems, Los Alamitos, USA, March 1999, p.304.
Stephane Barbey, Didier Buchs, Cecile Peraire. A theory of specification based testing for object-oriented software. In Proc. European Dependable Computing Conference (EDCC2), Taormina, Italy, October 1996.
Huo Yan Chen, T H Tse, Yue Tang Deng. ROCS: An object-oriented class-level testing system based on the relevant observable contexts technique. Information and Software Technology, July 2000, 42(10): 677–686.
Betty H C Cheng, Enoch Y Wang. Formalizing and integrating the dynamic model for object-oriented modeling. IEEE Trans. Software and Engineering
, August 2002, 28(8): 747–762.CrossRef
Rajendra K Bandi, Vijay K Vaishnavi, Daniel E Turk. Predicting maintenance performance using object-oriented design complexity metrics. IEEE Trans. Software and Engineering
, January 2003, 29(1): 77–87.CrossRef
Ramanath Subramanyam, Krishnan M S. Empirical analysis of CK metrics for object-oriented design complexity: Implications for software defects. IEEE Trans. Software and Engineering
, April 2003, 29(4): 297–310.CrossRef
Aynur Abdurazik, Jeff Offut. Using UML collaboration diagrams for static checking and test generation. LNCS 1939/2000, UML 2000: The Unified Modeling Language Advancing the Standard, January 2000, p.383.
Phyllis G Frankl, Richard G Hamlet, Bev Littlewood, Lorenzo Strigini. Evaluating testing methods by delivered reliability. IEEE Trans. Software and Engineering
, August 1998, 24(8): 586–601.CrossRef
Anita Goel, Gupta S C, Wasan S K. Probe mechanism for object-oriented software testing. In Proc. FASE 2003, 6th Int. Conf., Warsaw, Poland, April 7–11, 2003, pp.310–324.
Amie L Souter, Tiffany M Wong, Stacey A Shindo, Lori L Pollock. TATOO: Testing and analysis tool for object-oriented software. In Proc. the 7th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems, part of ETAPS, Genova, Italy, April, 2001, pp.389–403.
Jose L Fernandez. Acceptance testing of object-oriented systems. In Proc. Ada-Europe Int. Conf. Reliable Software Technologies, LNCS 1622, 1999, pp.114–123.
Joachim Wegener, Andre Baresel, Harmen Sthamer. Evolutionary test environment for automatic structural testing. Information and Software Technology
, 2001, 43(14): 841–854.CrossRef
Bixin Li. A technique to analyze information-flow in object oriented programs. Information and Software Technology, Apr. 2001, 45(6): 841–854.
Boujarwah A S, Saeh K, Al-Dalla J. Dynamic data flow analysis for Java programs. Information and Software Technology
, August 2003, 42(11): 765–775.CrossRef
Jessica Chen. On using static analysis in distributed system testing. LNCS Vol 1999/2001, Springer-Verlag, ISSN-0302-9743, Jan. 2001, p.145.
Saleh K, Abdel Aziz Boujarwah, Jehad Al-Dallal. Anomaly detection in concurrent Java programs using dynamic data flow analysis. Information and Software Technology
, December 2001, 43(15): 973–981.CrossRef
Schieferdecker I, Jens Grabowski. The graphical format of TTCN-3 in the context of MSC and UML. LNCS, Vol 2599/2003, Springer-Verlag, January 2003, pp.233–252.
Bertolino A, Marre M. Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Trans. Software and Engineering
, 1994, 20(12): 885–899.CrossRef
Saurabh Sinha, Mary Jean Harrold. Analysis and testing of programs with exception handling constructs. IEEE Trans. Software and Engineering
, September 2000, 26(9): 849–871.CrossRef
Matthew J Gallagher, V Lakshmi Narasimhan. ADTEST: A test data generation suite for Ada software systems. IEEE Trans. Software and Engineering
, Aug. 1997, 26(9): 473–484.CrossRef
Pramod V Koppol, Richard H Carver, Kuo-Chung Tai. Incremental integration testing of concurrent programs. IEEE Trans. Software and Engineering
, June 2002, 28(6): 607–623.CrossRef
Michael C C, Mcgraw G, Schatz M A. Generating software test data by evolution. IEEE Trans. Software and Engineering
, December 2001, 27(12): 1085–1110.CrossRef
Narsingh Deo. Graph Theory. India: Prentice Hall, 2003.