Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

Test case generation is among the most labour-intensive tasks in software testing. It also has
a strong impact on the effectiveness and efficiency of software testing. For these reasons, it …

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 modularity and customer centric approach of use cases make them the preferred
methods for requirement elicitation, especially in iterative software development processes …

To facilitate communication among stakeholders, software security requirements are
typically written in natural language and capture both positive requirements (ie, what the …

Software testing is an important activity in the Software Development Life Cycle. To cut down
the time and cost of manual testing and to increase the reliability of the software, researchers …

System testing plays a crucial role in safety-critical domains, eg, automotive, where system
test cases are used to demonstrate the compliance of software with its functional and safety …

We present MCP, a tool for automatically generating executable security test cases from
misuse case specifications in natural language (ie, use case specifications capturing the …

Software development relies heavily on manual processes for transforming requirements
into software artifacts such as models, source code, or test cases. Requirements are the …