184 search results - page 2 / 37 » A Formal Framework for Mutation Testing |
QSIC
2005
IEEE
13 years 10 months ago
2005
IEEE
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
KBSE
2000
IEEE
13 years 8 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
RECOMB
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Recent genome sequencing studies have shown that the somatic mutations that drive cancer development are distributed across a large number of genes. This mutational heter...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
FORTE
2001
13 years 6 months ago
2001