On comparing testing criteria for logical decisions (2009)
Various test case selection criteria have been proposed for quality testing of software. It is a common phenomenon that test sets satisfying different criteria have different sizes and...
Detecting double faults on term and literal in Boolean expressions (2007)
Lau, Man Fai, Liu, Ying, Yu, Yuen Tak
Fault-based testing aims at selecting test cases to guarantee the detection of certain prescribed faults in programs. The detection conditions of single faults have been studied and used in areas...
Detecting double faults on term and literal in Boolean expressions (2007)
Lau, Man Fai, Liu, Ying, Yu, Yuen Tak
Fault-based testing aims at selecting test cases to guarantee the detection of certain prescribed faults in programs. The detection conditions of single faults have been studied and used in areas...
Detecting double faults on term and literal in Boolean expressions (2007)
Lau, Man Fai, Liu, Ying, Yu, Yuen Tak
Fault-based testing aims at selecting test cases to guarantee the detection of certain prescribed faults in programs. The detection conditions of single faults have been studied and used in areas...
Detecting double faults on term and literal in Boolean expressions (2007)
Lau, Man Fai, Liu, Ying, Yu, Yuen Tak
Fault-based testing aims at selecting test cases to guarantee the detection of certain prescribed faults in programs. The detection conditions of single faults have been studied and used in areas...
Detecting double faults on term and literal in Boolean expressions (2007)
Lau, Man Fai, Liu, Ying, Yu, Yuen Tak
Fault-based testing aims at selecting test cases to guarantee the detection of certain prescribed faults in programs. The detection conditions of single faults have been studied and used in areas...
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions (2006)
Many testing criteria, including condition coverage and decision coverage, are inadequate for software characterised by complex logical decisions, such as those in safety-critical software. In the...
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy (2006)
Yu, Yuen Tak, Lau, Man Fai, Chen, T. Y.
A recent theoretical study has proved that the MUMCUT testing strategy (1) guarantees to detect seven types of fault in Boolean specifications in irredundant disjunctive normal form, and (2) requires...
On detection conditions of double faults related to terms in Boolean expressions (2006)
Lau, Man Fai, Liu, Ying, Yu, Yuen Tak
Detection conditions of specific classes of faults have recently been studied by many researchers. Under the assumption that at most one of these faults occurs in the software under test, these fault...
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions (2006)
Many testing criteria, including condition coverage and decision coverage, are inadequate for software characterised by complex logical decisions, such as those in safety-critical software. In the...
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy (2006)
Yu, Yuen Tak, Lau, Man Fai, Chen, T. Y.
A recent theoretical study has proved that the MUMCUT testing strategy (1) guarantees to detect seven types of fault in Boolean specifications in irredundant disjunctive normal form, and (2) requires...
On detection conditions of double faults related to terms in Boolean expressions (2006)
Lau, Man Fai, Liu, Ying, Yu, Yuen Tak
Detection conditions of specific classes of faults have recently been studied by many researchers. Under the assumption that at most one of these faults occurs in the software under test, these fault...
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions (2006)
Many testing criteria, including condition coverage and decision coverage, are inadequate for software characterised by complex logical decisions, such as those in safety-critical software. In the...
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy (2006)
Yu, Yuen Tak, Lau, Man Fai, Chen, T. Y.
A recent theoretical study has proved that the MUMCUT testing strategy (1) guarantees to detect seven types of fault in Boolean specifications in irredundant disjunctive normal form, and (2) requires...
On detection conditions of double faults related to terms in Boolean expressions (2006)
Lau, Man Fai, Liu, Ying, Yu, Yuen Tak
Detection conditions of specific classes of faults have recently been studied by many researchers. Under the assumption that at most one of these faults occurs in the software under test, these fault...
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy (2006)
Yu, Yuen Tak, Lau, Man Fai, Chen, T. Y.
A recent theoretical study has proved that the MUMCUT testing strategy (1) guarantees to detect seven types of fault in Boolean specifications in irredundant disjunctive normal form, and (2) requires...
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions (2006)
Many testing criteria, including condition coverage and decision coverage, are inadequate for software characterised by complex logical decisions, such as those in safety-critical software. In the...
On detection conditions of double faults related to terms in Boolean expressions (2006)
Lau, Man Fai, Liu, Ying, Yu, Yuen Tak
Detection conditions of specific classes of faults have recently been studied by many researchers. Under the assumption that at most one of these faults occurs in the software under test, these fault...
Applying Testing to Requirements Inspection for Software Quality Assurance (2006)
T. Y. Chen, Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Yuen Tak Yu
Traditionally, requirements inspection is performed at an early stage of the software development life cycle to reveal defects in a requirements specification. On the other hand, software testing is...
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions (2006)
Many testing criteria, including condition coverage and decision coverage, are inadequate for software characterised by complex logical decisions, such as those in safety-critical software. In the...
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy (2006)
Yu, Yuen Tak, Lau, Man Fai, Chen, T. Y.
A recent theoretical study has proved that the MUMCUT testing strategy (1) guarantees to detect seven types of fault in Boolean specifications in irredundant disjunctive normal form, and (2) requires...
On detection conditions of double faults related to terms in Boolean expressions (2006)
Lau, Man Fai, Liu, Ying, Yu, Yuen Tak
Detection conditions of specific classes of faults have recently been studied by many researchers. Under the assumption that at most one of these faults occurs in the software under test, these fault...
Towards a rational basis for test allocations in partition testing (1998)
Includes bibliographical references.
On the expected number of failures detected by subdomain testing and random testing (1996)
Abstract-In this paper, we investigate the efficacy of subdomain testing and random testing using the expected number of failures detected (the E-measure) as a measure of effectiveness. Simple as it...