| 591 | Brad Long and Roger Duke and Doug Goldson and Paul Strooper and Luke Wildman
Mutation-based Exploration of a Method for Verifying Concurrent Java Components
18th International Parallel and Distributed Processing Symposium (IPDPS'04)Santa Fe, New Mexico, 26-30 April 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LongDGSW04,
author = {Brad Long and Roger Duke and Doug Goldson and Paul Strooper and Luke Wildman},
title = {Mutation-based Exploration of a Method for Verifying Concurrent Java Components},
booktitle = {18th International Parallel and Distributed Processing Symposium (IPDPS'04)},
year = {2004},
address = {Santa Fe, New Mexico},
month = {26-30 April},
pages = {265}
} |
| 592 | Jeff Offutt and Yu{-}Seung Ma and Yong Rae Kwon
An experimental mutation system for Java
{ACM} {SIGSOFT} Software Engineering Notes, 29(5), 2004. |
|
| | Abstract: Available soon... |
| | @ARTICLE{offutt04_mujava,
author = {Jeff Offutt and Yu{-}Seung Ma and Yong Rae Kwon},
title = {An experimental mutation system for Java},
journal = {{ACM} {SIGSOFT} Software Engineering Notes},
year = {2004},
month = {},
volume = {29},
number = {5},
pages = {1--4}
} |
| 593 | Robert Nilsson and A. Jefferson Offutt and Sten F. Andler
Mutation-based Testing Criteria for Timeliness
Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04)Hong Kong, China, 28-30, September 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{NilssonOA04,
author = {Robert Nilsson and A. Jefferson Offutt and Sten F. Andler},
title = {Mutation-based Testing Criteria for Timeliness},
booktitle = {Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04)},
year = {2004},
address = {Hong Kong, China},
month = {28-30, September},
pages = {306-311}
} |
| 594 | Tatiana Sugeta and Jose Carlos Maldonado and W. Eric Wong
Mutation Testing Applied to Validate SDL Specifications
Proceedings of the 16th IFIP International Conference on Testing of Communicating SystemsOxford, UK, 17-19 March 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{SugetaMW04,
author = {Tatiana Sugeta and Jose Carlos Maldonado and W. Eric Wong},
title = {Mutation Testing Applied to Validate SDL Specifications},
booktitle = {Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems},
year = {2004},
address = {Oxford, UK},
month = {17-19 March},
pages = {2741}
} |
| 595 | Vadim Okun
Specification Mutation for Test Generation and Analysis
University of Maryland Baltimore County, Baltimore, Maryland, 2004.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Okun04,
author = {Vadim Okun},
title = {Specification Mutation for Test Generation and Analysis},
school = {University of Maryland Baltimore County},
year = {2004},
type = {phdthesis},
address = {Baltimore, Maryland},
month = {},
} |
| 596 | Hyo-Jeong Lee and Yu-Seong Ma and Yong-Rae Kwon
Empirical Evaluation of Orthogonality of Class Mutation Operators
Proceedings of the 11th Asia-Pacific Software Engineering ConferenceBusan, Korea, 30 November - 3 December 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LeeMK04,
author = {Hyo-Jeong Lee and Yu-Seong Ma and Yong-Rae Kwon},
title = {Empirical Evaluation of Orthogonality of Class Mutation Operators},
booktitle = {Proceedings of the 11th Asia-Pacific Software Engineering Conference},
year = {2004},
address = {Busan, Korea},
month = {30 November - 3 December},
pages = {512-518}
} |
| 597 | Vadim Okun and Paul E. Black and Yaacov Yesha
Comparison of Fault Classes in Specification-based Testing
Information and Software Technology, 46(8), June 2004. |
|
| | Abstract: Our results extending Kuhn's fault class hierarchy provide a justification for the focus of fault-based testing strategies on detecting particular faults and ignoring others. We develop a novel analytical technique which allows us to elegantly prove that the hierarchy applies to arbitrary expressions, not just those in disjunctive normal form. We also use the technique to extend the hierarchy to a wider range of fault classes. To demonstrate broad applicability, we compare faults in practical situations and analyze previous results. In particular, using our technique, we show that the basic meaningful impact strategy of Weyuker et. al. tests for stuck-at faults, not just variable negation faults. |
| | @ARTICLE{OkunBY04,
author = {Vadim Okun and Paul E. Black and Yaacov Yesha},
title = {Comparison of Fault Classes in Specification-based Testing},
journal = {Information and Software Technology},
year = {2004},
month = {June},
volume = {46},
number = {8},
pages = {525-533}
} |
| 598 | Giovanni Vigna and William Robertson and Davide Balzarotti
Testing Network-based Intrusion Detection Signatures using Mutant Exploits
Proceedings of the 11th ACM Conference on Computer and Communications SecurityWashington DC, USA, 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{VignaRB04,
author = {Giovanni Vigna and William Robertson and Davide Balzarotti},
title = {Testing Network-based Intrusion Detection Signatures using Mutant Exploits},
booktitle = {Proceedings of the 11th ACM Conference on Computer and Communications Security},
year = {2004},
address = {Washington DC, USA},
month = {},
pages = {21-30}
} |
| 599 | Inali Wisniewski Soares and Silvia Regina Vergilio
Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing
Journal of Electronic Testing: Theory and Applications, 20(4), August 2004. |
|
| | Abstract: Available soon... |
| | @ARTICLE{SoaresV04,
author = {Inali Wisniewski Soares and Silvia Regina Vergilio},
title = {Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing},
journal = {Journal of Electronic Testing: Theory and Applications},
year = {2004},
month = {August},
volume = {20},
number = {4},
pages = {439-445}
} |
| 600 | Dave Binkley and Sebastian Danicic and Tibor Gyim\'othy and Mark Harman and \'Akos Kiss and Lahcen Ouarbya
Formalizing Executable Dynamic and Forward Slicing
$4^{th}$ International Workshop on Source Code Analysis and Manipulation ({SCAM 04})Los Alamitos, California, USA, #sep# 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{tibor:scam04,
author = {Dave Binkley and Sebastian Danicic and Tibor Gyim\'othy and Mark Harman and \'Akos Kiss and Lahcen Ouarbya},
title = {Formalizing Executable Dynamic and Forward Slicing},
booktitle = {$4^{th}$ International Workshop on Source Code Analysis and Manipulation ({SCAM 04})},
year = {2004},
address = {Los Alamitos, California, USA},
month = {#sep#},
pages = {43--52}
} |
