Context: Processing Software Requirement Specifications (SRS) manually takes a much
longer time for requirement analysts in software engineering. Researchers have been …

Acceptance testing is a validation activity performed to ensure the conformance of software
systems with respect to their functional requirements. In safety critical systems, it plays a …

In safety critical domains, system test cases are often derived from functional requirements in
natural language (NL) and traceability between requirements and their corresponding test …

The design of complex engineering systems is an often long and articulated process that
highly relies on engineers' expertise and professional judgment. As such, the typical pitfalls …

Formal models are increasingly being used as input for automated test generation
strategies. Software Cost Reduction (SCR), for example, was designed to detect and correct …

Test generation from functional requirements in natural language (NL) is often time-
consuming and error prone, especially in complex projects. In this context, formal …

The insertion of agile practices in software development has increased exponentially. Both
industry and academic staff constantly face challenges related to requirements specification …

Natural Language Processing (NLP) techniques show promising results to organize and
identify desired information from the bulky raw data. As a result, NLP techniques are …

Abstract Model-Based Testing (MBT) techniques usually take as input models that are not
available in the very beginning of a development. Therefore, its use is postponed. In this …

Manual testing of software requirements written in natural language for agile or any other
methodology requires more time and human resources. This leaves the testing process error …