References
- Peter Hersum, Oliver Sims, Business Component Factory, Wiley, 2000
- Hans-Gerhard Gross, Component-Based Software Testing with UML, Springer, 2004
- International Software Testing Qualification Board, Standard glossary of terms used in Software Testing Version 1.2., 2006
- J. Clark, C. Clarke, S. DePanfilis, G. Granatella, P. Predonzani, A. Sillitti, G. Succi, and T. Vernazza. 'Selecting Components in Large COTS Repositories,' Journal of Systems and Software, 2005 https://doi.org/10.1016/j.jss.2003.09.019
- Object Management Group, Model Driven Architecture-Resource Page, Technical Report, http://www.omg.org, 2004
- E.J. Weyuker. The Trouble with Testing Components, In Component-Based Software Engineering, Heineman/Councill (Eds). Addison-Wesley, 2001
- Jos Warmer, Anneke Kleppe. The Object Constraint Language Second Edition Getting your Models Ready for MDA. Addison-Wesley, 2003
- S.Dalal et al., 'Model-Based Testing in Practice,' Proc. 1999 Int'l Conf. Software Eng.(ICSE99), ACM Press, pp. 285-294, 1999
- G. T. Heineman and W. T. Council (Eds). Component- Based Software Engineering, Addison-Wesley, Boston, 2001
- J.Z. Gao, H.-S.J. Tsao, and Y. Wu. Testing and Quality Assurance for Component-Based Software. Artech house, 2003
- J. Gao. 'Challenges and Problems in Testing Software Components'. In Workshop on Component-Based Software Engineering(ICSE 2000), Limerick, June 2000
- R. Hao, D Lee, R. K. Sinha, N. Griffeth, 'Integrated System Interoperability Testing with Applications to VoIP,' IEEE/ACM Transactions on Networking, Vol.12, Issue 5, pp. 23-836, 2004 https://doi.org/10.1109/TNET.2004.836136
- N. Griffeth, R. Hao, D. Lee, R. K. Sinha, 'Interoperability Testing of VoIP Systems,' Global Telecommunications Conference, Vol.3, pp. 1565-1570, 2000
- Bind, Testing Object-Oriented Systems: Models, Patterns and Tools. Addison-Wesley, 2000
- European Telecommunications Standards Institute (ETSI). The Testing and Test Control Notation -Part 1. Technical Report, 2003
- IEEE. IEEE Standard for Software Test Documentation, IEEE Std 829. 2000
- MIAO Hauikou and LIU Ling, 'A Test Class Framework for Generating Test Cases from Z Specifications,' 6th IEEE International Conference on Complex Computer Systems(ICECCS'00), Tokyo, Japan. pp. 164-171, 2000 https://doi.org/10.1109/ICECCS.2000.873941
- Neto, A.D., Subramanyan, R., Vieira, M., Travassos, G.H., Shull, F., 'Improving Evidence about Software Technologies: A Look at Model-Based Testing,' Software, IEEE Volume 25, Issue 3, pp. 10-13, 2008 https://doi.org/10.1109/MS.2008.64
- S. Ali et al., 'A State-based Approach to Integration Testing Based on UML Models,' Information and Software Technology, pp. 1087-1106, Nov. 2007 https://doi.org/10.1016/j.infsof.2006.11.002
- E. Bernard et al., 'Model-Based Testing from UML Models,' Proc. Int'l Workshop on Modelbased Testing (MBT 2006), Lecture Notes in Informatics, vol. P-94, pp. 223-230, 2006
- L.C. Briand, Y. Labiche, and J. Cui, Towards Automated Support for Deriving Test Data from UML Statecharts, tech. report, Carleton Univ., 2004
- Y.G. Kim et al., 'Test Cases Generation from UML State Diagrams,' Software, vol. 146, no. 4, pp. 187-192, 1999
- J. Chang and D.J. Richardson, 'Structural Specification-based Testing: Automated Support and Experimental Evaluation,' Sigsoft Software Eng. Notes, pp. 285-302. Nov. 1999
- A. Paradkar, 'Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications,' Proc. 15th Int'l Symp. Software Reliability Eng. (Issre 04), IEEE CS Press, pp. 173-184, 2004
- A. Sinha and C. Smidts, 'An Experimental Evaluation of a Higher-Ordered-Typed-Functional Specification-based Test-Generation Technique,' Empirical Software Eng., Vol.11, No.2, pp. 173-202, 2006 https://doi.org/10.1007/s10664-006-6401-9
- L. Tan, O. Sokolsky, and I. Lee, 'Specificationbased Testing with Linear Temporal Logic,' Proc. IEEE Int'l Conf. Information Reuse and Integration (IEEE IRI-2004), IEEE Press, pp. 483-498, Nov. 2004
- Andaloussi, B.S., Braun, A., 'A Test Specification Method for Software Interoperability Tests in Offshore Scenarios: A Case Study,' Global Software Engineering, 2006. ICGSE '06. International Conference on, pp. 169-178, Oct. 2006