Most software quality research has focused on identifying faults (ie, information is incorrectly
recorded in an artifact). Because software still exhibits incorrect behavior, a different …

Requirements defects have a major impact throughout the whole software lifecycle. Having
a specific defects classification for requirements is important to analyse the root causes of …

Software engineers often use record/replay tools to enable the automated testing of web
applications. Tests created in this manner can then be used to regression test new versions …

Service-oriented architecture (SOA) is a popular design paradigm for distributed systems
today but the high adaptivity and complexity of SOA implementations may also introduce …

Abstract Model-based robustness testing requires precise and complete behavioral,
robustness modeling. For example, state machines can be used to model software behavior …

Context Unit and integration testing are popular testing techniques. However, while the
software development context evolved over time, the definitions remained unchanged …

To support debugging, maintenance, verification and validation (V&V) and/or independent
V&V (IV&V), it is necessary to understand the relationship between defect reports and their …

To allow an automatic formal analysis of requirements, the requirements have to be
formalized first. However, logical formalisms are seldom accessible to stakeholders in the …

Traceability is an important quality of software requirements and allows to describe and
follow their life throughout a development project. The importance of traceable requirements …

The size of aerospace software, as measured in source lines of code (SLOC), has grown
rapidly. Airbus and Boeing data show that software SLOC have doubled every four years …