The rigorous generation of Java mutation operators using HAZOP (1999)
Cached
Download Links
| Venue: | IN 12TH INTERNATIONAL CONFERENCE ON SOFTWARE & SYSTEMS ENGINEERING AND THEIR APPLICATIONS (ICSSEA'99 |
| Citations: | 10 - 2 self |
BibTeX
@INPROCEEDINGS{Kim99therigorous,
author = {Sunwoo Kim and John A. Clark and John A. McDermid},
title = {The rigorous generation of Java mutation operators using HAZOP},
booktitle = {IN 12TH INTERNATIONAL CONFERENCE ON SOFTWARE & SYSTEMS ENGINEERING AND THEIR APPLICATIONS (ICSSEA'99},
year = {1999},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This report proposes the use of a safety technique known as HAZOP (Hazard and Operability Studies) to rigorously generate mutation operators for Java. A set of Java mutation operators is proposed by applying HAZOP to the Java syntax definition and is compared to the operator sets of current mutation systems. Hypothesised flaws, which are also obtained by HAZOP application to Java language constructs, are listed and compared to existing fault taxonomies.
