1 |
Hans-Gerhard Gross, Component-Based Software Testing with UML, Springer, 2004
|
2 |
G. T. Heineman and W. T. Council (Eds). Component- Based Software Engineering, Addison-Wesley, Boston, 2001
|
3 |
Bind, Testing Object-Oriented Systems: Models, Patterns and Tools. Addison-Wesley, 2000
|
4 |
L.C. Briand, Y. Labiche, and J. Cui, Towards Automated Support for Deriving Test Data from UML Statecharts, tech. report, Carleton Univ., 2004
|
5 |
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
DOI
ScienceOn
|
6 |
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
|
7 |
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
DOI
|
8 |
J. Gao. 'Challenges and Problems in Testing Software Components'. In Workshop on Component-Based Software Engineering(ICSE 2000), Limerick, June 2000
|
9 |
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
DOI
ScienceOn
|
10 |
N. Griffeth, R. Hao, D. Lee, R. K. Sinha, 'Interoperability Testing of VoIP Systems,' Global Telecommunications Conference, Vol.3, pp. 1565-1570, 2000
|
11 |
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
DOI
ScienceOn
|
12 |
Object Management Group, Model Driven Architecture-Resource Page, Technical Report, http://www.omg.org, 2004
|
13 |
European Telecommunications Standards Institute (ETSI). The Testing and Test Control Notation -Part 1. Technical Report, 2003
|
14 |
S. Ali et al., 'A State-based Approach to Integration Testing Based on UML Models,' Information and Software Technology, pp. 1087-1106, Nov. 2007
DOI
ScienceOn
|
15 |
Jos Warmer, Anneke Kleppe. The Object Constraint Language Second Edition Getting your Models Ready for MDA. Addison-Wesley, 2003
|
16 |
J.Z. Gao, H.-S.J. Tsao, and Y. Wu. Testing and Quality Assurance for Component-Based Software. Artech house, 2003
|
17 |
S.Dalal et al., 'Model-Based Testing in Practice,' Proc. 1999 Int'l Conf. Software Eng.(ICSE99), ACM Press, pp. 285-294, 1999
|
18 |
Y.G. Kim et al., 'Test Cases Generation from UML State Diagrams,' Software, vol. 146, no. 4, pp. 187-192, 1999
|
19 |
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
DOI
ScienceOn
|
20 |
International Software Testing Qualification Board, Standard glossary of terms used in Software Testing Version 1.2., 2006
|
21 |
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
|
22 |
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
|
23 |
J. Chang and D.J. Richardson, 'Structural Specification-based Testing: Automated Support and Experimental Evaluation,' Sigsoft Software Eng. Notes, pp. 285-302. Nov. 1999
|
24 |
Peter Hersum, Oliver Sims, Business Component Factory, Wiley, 2000
|
25 |
E.J. Weyuker. The Trouble with Testing Components, In Component-Based Software Engineering, Heineman/Councill (Eds). Addison-Wesley, 2001
|
26 |
IEEE. IEEE Standard for Software Test Documentation, IEEE Std 829. 2000
|
27 |
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
|