Assessing dependability with software fault injection: A survey
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 …
for computer-based systems. Software Fault Injection is a method to anticipate worst-case …
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 …
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 …
integrated approach to software quality engineering. By following the author's clear …
Making components contract aware
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 …
predictably without requiring that users know the specifics of how it does so. Many …
On fault representativeness of software fault injection
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 …
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 …
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 …
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 …
and lower costs. More automated system testing could be instrumental in achieving these …
Software testing with an operational profile: OP definition
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 …
that characterize the type and frequency of software inputs and are used in software testing …