Bradbury, J.S., Cordy, J.R. and Dingel, J. (2005) An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis. Proceedings of the ACM SIGPLAN-SIGSOFT Work on Program Analysis for Software Tools and Engineering, Lisbon, 5-6 September 2005, 1-4.
https://doi.org/10.1145/1108792.1108795

has been cited by the following article:

• TITLE: Strategy and Methodology of Integration Testing for GUI Software

  AUTHORS: Mengqing TanLi, Jiyi Xiao, Ying Zhang

  KEYWORDS: Integration Testing, Strategy and Methodology, Grey-Box Approach, GUI Software

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.16 No.8, August 29, 2023

  ABSTRACT: In this paper, by means of effective testing practices, main strategies of integration testing for GUI software, including differentiating strategy for distinguished system, strategy of personnel organization, incremental testing strategy based on baseline version, testing strategy of circulating loop through the whole life, and the strategy of test suite construction, were briefly investigated. Moreover, for the code analysis, the FTA (Fault Tree analysis) is proposed to deal with the software change in regression testing. For test suite constructing, the constructing methods for baseline version and the incremental change are deeply discussed, in which main points focus on the testing strategy based on “Sheet/Form”, the “Grey-box approach” for integration testing process, and the application of the improved STD (State Transform Diagram) in state testing. At the same time, the suite construction of integration testing for two types, including small scale program and large scale software, is analyzed and discussed in detail. For testing execution, the specific method based on “Cross-testing” is investigated. Concurrently, by a lot of examples, all results of testing activity indicate that these strategies and methods are useful and fitted to integration testing for GUI software.