Outputs (3)

Temporal White-Box Testing Using Evolutionary and Search-base Algorithms (2009)
Presentation / Conference Contribution
Al Moubayed, N., & Awwad Shiekh Hasan, B. (2009, December). Temporal White-Box Testing Using Evolutionary and Search-base Algorithms. Paper presented at 9th Annual Workshop on Computational Intelligence, Colchester, UK

Real-time embedded systems are constrained with real-time requirements. Assuring the quality of such systems is necessary especially in sensitive applications, i.e. where safety is an issue. This paper proposes novel methods for testing the temporal... Read More about Temporal White-Box Testing Using Evolutionary and Search-base Algorithms.

Signal Generation for Search-Based Testing of Continuous Systems (2009)
Presentation / Conference Contribution
Windisch, A., & Al Moubayed, N. (2009, April). Signal Generation for Search-Based Testing of Continuous Systems. Presented at 2009 International Conference on Software Testing, Verification, and Validation Workshops, Denver, CO

Test case generation constitutes a critical activity in software testing that is cost-intensive, time-consuming and error-prone when done manually. Hence, an automation of this process is required. One automation approach is search-based testing for... Read More about Signal Generation for Search-Based Testing of Continuous Systems.

Temporal White-Box Testing Using Evolutionary Algorithms (2009)
Presentation / Conference Contribution
Al Moubayed, N., & Windisch, A. (2009, April). Temporal White-Box Testing Using Evolutionary Algorithms. Presented at 2009 International Conference on Software Testing, Verification, and Validation Workshops, Denver, CO

Embedded computer systems should fulfill real-time requirements which need to be checked in order to assure system quality. This paper stands to propose some ideas for testing the temporal behavior of real-time systems. The goal is to achieve white-b... Read More about Temporal White-Box Testing Using Evolutionary Algorithms.