International audienceIn the context of deductive proof, formal specification (and thus proofs) may only cover a small part of the program behaviours. We discuss the relevance of applying a mutation analysis, proposed to evaluate the quality of a test set, to evaluate if a specification is able to detect predefined types of faults
The empirical assessment of test techniques plays an important role in software testing research. On...
International audienceContext: The demand from industry for more dependable and scalable test-develo...
AbstractThis article discusses mutation testing strategies in the context of refinement. Here, a nov...
International audienceMutation analysis, which introduces artificial defects into software systems, ...
Background: Mutation testing is a widely explored technique used to evaluate the quality of software...
Mutation testing has been very actively investigated by researchers since the 1970s, and remarkable ...
The empirical assessment of test techniques plays an important role in software testing research. On...
When formal modelling is done we must validate both the model and the assumptions. Formal techniques...
Abstract. This paper presents a theory of testing that integrates into Hoare and He’s Unifying Theor...
Abstract. This article discusses mutation testing strategies in the context of refinement. Here, a n...
Estimating the quality of test suites is an important and difficult task. Mutation analysis is one a...
The empirical assessment of test techniques plays an important role in software testing research. On...
The theoretical works on program testing by Goodenough and Gerhart, Howden, and Geller are unified a...
Mutation testing is a well-established technique for assessing a test suite’s quality by injecting a...
Graduation date: 2017Mutation analysis is the gold standard for evaluating\ud test-suite adequacy. I...
The empirical assessment of test techniques plays an important role in software testing research. On...
International audienceContext: The demand from industry for more dependable and scalable test-develo...
AbstractThis article discusses mutation testing strategies in the context of refinement. Here, a nov...
International audienceMutation analysis, which introduces artificial defects into software systems, ...
Background: Mutation testing is a widely explored technique used to evaluate the quality of software...
Mutation testing has been very actively investigated by researchers since the 1970s, and remarkable ...
The empirical assessment of test techniques plays an important role in software testing research. On...
When formal modelling is done we must validate both the model and the assumptions. Formal techniques...
Abstract. This paper presents a theory of testing that integrates into Hoare and He’s Unifying Theor...
Abstract. This article discusses mutation testing strategies in the context of refinement. Here, a n...
Estimating the quality of test suites is an important and difficult task. Mutation analysis is one a...
The empirical assessment of test techniques plays an important role in software testing research. On...
The theoretical works on program testing by Goodenough and Gerhart, Howden, and Geller are unified a...
Mutation testing is a well-established technique for assessing a test suite’s quality by injecting a...
Graduation date: 2017Mutation analysis is the gold standard for evaluating\ud test-suite adequacy. I...
The empirical assessment of test techniques plays an important role in software testing research. On...
International audienceContext: The demand from industry for more dependable and scalable test-develo...
AbstractThis article discusses mutation testing strategies in the context of refinement. Here, a nov...
DOI
Add to ORKG