Assessing dependability with software fault injection: A survey

R Natella, D Cotroneo, HS Madeira - ACM Computing Surveys (CSUR), 2016 - dl.acm.org
With the rise of software complexity, software-related accidents represent a significant threat
for computer-based systems. Software Fault Injection is a method to anticipate worst-case …

[图书][B] Introduction to combinatorial testing

DR Kuhn, RN Kacker, Y Lei - 2013 - books.google.com
Combinatorial testing of software analyzes interactions among variables using a very small
number of tests. This advanced approach has demonstrated success in providing strong …

Advances in software inspections

ME Fagan - Pioneers and Their Contributions to Software …, 2001 - Springer
This paper presents new studies and experiences that enhance the use of the inspection
process and improve its contribution to development of defect-free software on time and at …

[图书][B] Software quality engineering: testing, quality assurance, and quantifiable improvement

J Tian - 2005 - books.google.com
The one resource needed to create reliable software This text offers a comprehensive and
integrated approach to software quality engineering. By following the author's clear …

Making components contract aware

A Beugnard, JM Jézéquel, N Plouzeau, D Watkins - Computer, 1999 - ieeexplore.ieee.org
Components have long promised to encapsulate data and programs into a box that operates
predictably without requiring that users know the specifics of how it does so. Many …

On fault representativeness of software fault injection

R Natella, D Cotroneo, JA Duraes… - IEEE Transactions on …, 2012 - ieeexplore.ieee.org
The injection of software faults in software components to assess the impact of these faults
on other components or on the system as a whole, allowing the evaluation of fault tolerance …

Model‐based software testing

IK El‐Far, JA Whittaker - Encyclopedia of software engineering, 2002 - Wiley Online Library
There is an abundance of testing styles in the discipline of software engineering today. Over
the last few decades, many of these have come to be used and adopted by the industry as …

[PDF][PDF] The cyber security body of knowledge

D Basin - University of Bristol, ch. Formal Methods for, 2021 - cybok.org
The CyBOK project would like to understand how the CyBOK is being used and its uptake.
The project would like organisations using, or intending to use, CyBOK for the purposes of …

Automated system testing using visual gui testing tools: A comparative study in industry

E Borjesson, R Feldt - 2012 IEEE Fifth International Conference …, 2012 - ieeexplore.ieee.org
Software companies are under continuous pressure to shorten time to market, raise quality
and lower costs. More automated system testing could be instrumental in achieving these …

Software testing with an operational profile: OP definition

C Smidts, C Mutha, M Rodríguez… - ACM Computing Surveys …, 2014 - dl.acm.org
This article is devoted to the survey, analysis, and classification of operational profiles (OP)
that characterize the type and frequency of software inputs and are used in software testing …