Self-adaptive software continually evaluates and modifies its own behavior to meet changing demands. One of the key issues in constructing such software is that of planning when a...
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wo...
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...