Test engineers, their managers, as well as the project developers often have many different
views and misconceptions about tools and methods that provide test automation support …

Software defects due to coding errors continue to plague the industry with disastrous impact,
especially in the enterprise application software category. Identifying how much of these …

A method for testing an implementation of a specification is provided. The method includes
providing a security manager capable of being configured to test compliance of an …

Formal methods have long been advocated for the development of provably secure
software. However, the lack of formal requirements elaboration and the limited scalability …

Emerging military aerospace system operational goals, such as autonomy, will require
advanced safety-critical control systems consisting of unconventional requirements, system …

To analyse the behaviour of reactive systems formally, it is necessary to build a model. At the
very beginning of the development, typically only natural language requirements are …

Practitioners come across many defects that impede the rapid progress of software process
development, which is critical to the Organization's operation and growth [11]. In order to …

This paper describes an interface-driven approach that combines requirement modeling to
support automated test case and test driver generation. It focuses on how test engineers can …

Requirement defects are one of the major sources of failure in any software development
process as they prevent smooth operation and is taxing both in terms of tracking and …

Agentes. Rio de Janeiro, 2007. 205p. Tese de Doutorado-Departamento de Informática,
Pontifícia Universidade Católica do Rio de Janeiro. No processo de desenvolvimento do …