Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Mutation 2000: Uniting the orthogonal
AJ Offutt, RH Untch - Mutation testing for the new century, 2001 - Springer
Mutation testing is a powerful, but computationally expensive, technique for unit testing
software. This expense has prevented mutation from becoming widely used in practical …
software. This expense has prevented mutation from becoming widely used in practical …
Mutation testing advances: an analysis and survey
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 …
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …
An analysis and survey of the development of mutation testing
Mutation Testing is a fault-based software testing technique that has been widely studied for
over three decades. The literature on Mutation Testing has contributed a set of approaches …
over three decades. The literature on Mutation Testing has contributed a set of approaches …
[SÁCH][B] Introduction to software testing
This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
A mutation carol: Past, present and future
J Offutt - Information and Software Technology, 2011 - Elsevier
Context The field of mutation analysis has been growing, both in the number of published
papers and the number of active researchers. This special issue provides a sampling of …
papers and the number of active researchers. This special issue provides a sampling of …
Leveraging program equivalence for adaptive program repair: Models and first results
Software bugs remain a compelling problem. Automated program repair is a promising
approach for reducing cost, and many methods have recently demonstrated positive results …
approach for reducing cost, and many methods have recently demonstrated positive results …
Higher order mutation testing
This paper introduces a new paradigm for Mutation Testing, which we call Higher Order
Mutation Testing (HOM Testing). Traditional Mutation Testing considers only first order …
Mutation Testing (HOM Testing). Traditional Mutation Testing considers only first order …
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 …
A Fault Model for Testing the Access Control Policies using Classified Mutation Operator
In today's scenario any multiuser system need to implement access control for protecting its
resources from unauthorized access or damage. With the help of separate policy …
resources from unauthorized access or damage. With the help of separate policy …
A fault model and mutation testing of access control policies
E Martin, T **e - Proceedings of the 16th international conference on …, 2007 - dl.acm.org
To increase confidence in the correctness of specified policies, policy developers can
conduct policy testing by supplying typical test inputs (requests) and subsequently checking …
conduct policy testing by supplying typical test inputs (requests) and subsequently checking …