| 681 | Timothy K. Tsai and Mei-Chen Hsueh and Hong Zhao and Zbigniew Kalbarczyk and Ravishankar K. Iyer
Stress-based and Path-based Fault Injection
IEEE Transactions on Computers, 48(11), November 1999. |
|
| | Abstract: he objective of fault injection is to mimic the existence of faults and to force the exercise of the fault tolerance mechanisms of the target system. To maximize the efficacy of each injection, the locations, timing, and conditions for faults being injected must be carefully chosen. Faults should be injected with a high probability of being accessed. This paper presents two fault injection methodologies—stress-based injection and path-based injection; both are based on resource activity analysis to ensure that injections cause fault tolerance activity and, thus, the resulting exercise of fault tolerance mechanisms. The difference between these two methods is that stress-based injection validates the system dependability by monitoring the run-time workload activity at the system level to select faults that coincide with the locations and times of greatest workload activity, while path-based injection validates the system from the application perspective by using an analysis of the program flow and resource usage at the application program level to select faults during the program execution. These two injection methodologies focus separately on the system and process viewpoints to facilitate the testing of system dependability. Details of these two injection methodologies are discussed in this paper, along with their implementations, experimental results, and advantages and disadvantages. |
| | @ARTICLE{TsaiHZKI99,
author = {Timothy K. Tsai and Mei-Chen Hsueh and Hong Zhao and Zbigniew Kalbarczyk and Ravishankar K. Iyer},
title = {Stress-based and Path-based Fault Injection},
journal = {IEEE Transactions on Computers},
year = {1999},
month = {November},
volume = {48},
number = {11},
pages = {1183-1201}
} |
| 682 | Gregg Rothermel and Roland H. Untch and Chengyun Chu and Mary Jean Harrold
Test Case Prioritization: An Empirical Study
1999 International Conference on Software Maintenance, {ICSM} 1999, Oxford, England, UK, August 30 - September 3, 1999, 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{RothermelUCH99,
author = {Gregg Rothermel and Roland H. Untch and Chengyun Chu and Mary Jean Harrold},
title = {Test Case Prioritization: An Empirical Study},
booktitle = {1999 International Conference on Software Maintenance, {ICSM} 1999, Oxford, England, UK, August 30 - September 3, 1999},
year = {1999},
address = {},
month = {},
pages = {179--188}
} |
| 683 | I. Koufareva and Alexandre Petrenko and Nina Yevtushenko
Test Generation Driven by User-defined Fault Models
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems (IWTCS'09)Budapest, Hungary, 1-3 September 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KoufarevaPY99,
author = {I. Koufareva and Alexandre Petrenko and Nina Yevtushenko},
title = {Test Generation Driven by User-defined Fault Models},
booktitle = {Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems (IWTCS'09)},
year = {1999},
address = {Budapest, Hungary},
month = {1-3 September},
pages = {215-236}
} |
| 684 | W. Eric Wong and Joseph R. Horgan and Aditya P. Mathur and Alberto Pasquini
Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application
Journal of Systems and Software, 48(2), October 1999. |
|
| | Abstract: An important question in software testing is whether it is reasonable to apply coverage-based criteria as a filter to reduce the size of a test set. An empirical study was conducted using a test set minimization technique to explore the effect of reducing the size of a test set, while keeping block coverage constant, on the fault detection strength of the resulting minimized test set. Two types of test sets were examined. For those with respect to a fixed size, no test case screening was conducted during the generation, whereas for those with respect to a fixed coverage, each subsequent test case had to improve the overall coverage in order to be included. The study reveals that regardless of how a test set is generated, with or without any test case screening, block minimized test sets have a size/effectiveness advantage, in terms of a significant reduction in test set size and with almost the same fault detection effectiveness, over the original non-minimized test sets. |
| | @ARTICLE{WongHMP99,
author = {W. Eric Wong and Joseph R. Horgan and Aditya P. Mathur and Alberto Pasquini},
title = {Test Set Size Minimization and Fault Detection Effectiveness: A Case Study in a Space Application},
journal = {Journal of Systems and Software},
year = {1999},
month = {October},
volume = {48},
number = {2},
pages = {79-89}
} |
| 685 | Sandra C. P. F. Fabbri and Jose Carlos Maldonado and Paulo Cesar Masiero and Marcio Eduardo Delamaro
Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing
Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC'99)Talca, Chile, 11-13 November 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FabbriMMD99,
author = {Sandra C. P. F. Fabbri and Jose Carlos Maldonado and Paulo Cesar Masiero and Marcio Eduardo Delamaro},
title = {Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing},
booktitle = {Proceedings of the 19th International Conference of the Chilean Computer Science Society (SCCC'99)},
year = {1999},
address = {Talca, Chile},
month = {11-13 November},
pages = {96}
} |
| 686 | Binder, Robert V.
Testing Object-oriented Systems: Models, Patterns, and Tools
Unknown- |
|
| | Abstract: Available soon... |
| | Unknown++ |
| 687 | Sandra Camargo Pinto Ferraz Fabbri and Jose Carlos Maldonado and Tatiana Sugeta and Paulo Cesar Masiero
Mutation Testing Applied to Validate Specifications Based on Statecharts
Proceedings of the 10th International Symposium on Software Reliability Engineering (ISSRE'99)Boca Raton, Florida, 1-4 November 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FabbriMSM99,
author = {Sandra Camargo Pinto Ferraz Fabbri and Jose Carlos Maldonado and Tatiana Sugeta and Paulo Cesar Masiero},
title = {Mutation Testing Applied to Validate Specifications Based on Statecharts},
booktitle = {Proceedings of the 10th International Symposium on Software Reliability Engineering (ISSRE'99)},
year = {1999},
address = {Boca Raton, Florida},
month = {1-4 November},
pages = {210}
} |
| 688 | Sunwoo Kim and John A. Clark and John A. McDermid
The Rigorous Generation of Java Mutation Operators Using HAZOP
Proceedings of the 12th International Cofference Software and Systems Engineering and their Applications (ICSSEA 99)Paris, France, 29 November-1 December 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KimCM99a,
author = {Sunwoo Kim and John A. Clark and John A. McDermid},
title = {The Rigorous Generation of Java Mutation Operators Using HAZOP},
booktitle = {Proceedings of the 12th International Cofference Software and Systems Engineering and their Applications (ICSSEA 99)},
year = {1999},
address = {Paris, France},
month = {29 November-1 December},
pages = {}
} |
| 689 | Sunwoo Kim and John A. Clark and John A. McDermid
Assessing Test Set Adequacy for Object Oriented Programs Using Class Mutation
Proceedings of the 3rd Symposium on Software Technology (SoST'99)Buenos Aires, Argentina, 8-9 September 1999. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{KimCM99b,
author = {Sunwoo Kim and John A. Clark and John A. McDermid},
title = {Assessing Test Set Adequacy for Object Oriented Programs Using Class Mutation},
booktitle = {Proceedings of the 3rd Symposium on Software Technology (SoST'99)},
year = {1999},
address = {Buenos Aires, Argentina},
month = {8-9 September},
pages = {}
} |
| 690 | P. Jalote
Testing the completeness of specifications
IEEE Transactions of Software Engineering, 15(5), May 1998. |
|
| | Abstract: Available soon... |
| | @ARTICLE{Jalote98,
author = {P. Jalote},
title = {Testing the completeness of specifications},
journal = {IEEE Transactions of Software Engineering},
year = {1998},
month = {May},
volume = {15},
number = {5},
pages = {526-531}
} |
| 691 | H. Yoon and B. Choi and J. -O. Jeon
Mutation-Based Inter-Class Testing
Proceedings of the 5th Asia Pacific Software Engineering Conference (APSEC'98)Taipei, Taiwan, 2-4 December 1998. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{YoonCJ98,
author = {H. Yoon and B. Choi and J. -O. Jeon},
title = {Mutation-Based Inter-Class Testing},
booktitle = {Proceedings of the 5th Asia Pacific Software Engineering Conference (APSEC'98)},
year = {1998},
address = {Taipei, Taiwan},
month = {2-4 December},
pages = {174}
} |
| 692 | Timothy K. Tsai
Fault Tolerance Via N-Modular Software Redundancy
Proceedings of the 28th International Symposium on Fault-Tolerant Computing (FTCS'98)Munich, Germany, 23-25 June 1998. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Tsai98,
author = {Timothy K. Tsai},
title = {Fault Tolerance Via N-Modular Software Redundancy},
booktitle = {Proceedings of the 28th International Symposium on Fault-Tolerant Computing (FTCS'98)},
year = {1998},
address = {Munich, Germany},
month = {23-25 June},
pages = {201-206}
} |
| 693 | Phyllis G. Frankl and Oleg Iakounenko
Further Empirical Studies of Test Effectiveness
{SIGSOFT} '98, Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, Lake Buena Vista, Florida, USA, November 3-5, 1998, 1998. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{FranklI98,
author = {Phyllis G. Frankl and Oleg Iakounenko},
title = {Further Empirical Studies of Test Effectiveness},
booktitle = {{SIGSOFT} '98, Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, Lake Buena Vista, Florida, USA, November 3-5, 1998},
year = {1998},
address = {},
month = {},
pages = {153--162}
} |
| 694 | Anup K. Ghosh and Tom O`Connor and Grary McGraw
An Automated Approach for Identifying Potential Vulnerabilities in Software
Proceedings of the IEEE Symposium on Security and Privacy (S&P'98)Oakland, California, 3-6 May 1998. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{GhoshOM98,
author = {Anup K. Ghosh and Tom O`Connor and Grary McGraw},
title = {An Automated Approach for Identifying Potential Vulnerabilities in Software},
booktitle = {Proceedings of the IEEE Symposium on Security and Privacy (S&P'98)},
year = {1998},
address = {Oakland, California},
month = {3-6 May},
pages = {104-114}
} |
| 695 | W. Eric Wong and Joseph R. Horgan and Saul London and Aditya P. Mathur
Effect of Test Set Minimization on Fault Detection Effectiveness
Software:Practice and Experience, 28(), 1998. |
|
| | Abstract: Available soon... |
| | @ARTICLE{WongHLM98,
author = {W. Eric Wong and Joseph R. Horgan and Saul London and Aditya P. Mathur},
title = {Effect of Test Set Minimization on Fault Detection Effectiveness},
journal = {Software:Practice and Experience},
year = {1998},
month = {},
volume = {28},
number = {},
pages = {347–369}
} |
| 696 | Wenliang Du and Aditya P. Mathur
Vulnerability Testing of Software System Using Fault Injection
Purdue UniversityCOAST TR 98-02, West Lafayette, Indiana, 1998. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{DuM98,
author = {Wenliang Du and Aditya P. Mathur},
title = {Vulnerability Testing of Software System Using Fault Injection},
institution = {Purdue University},
year = {1998},
type = {techreport},
number = {COAST TR 98-02},
address = {West Lafayette, Indiana},
month = {},
} |
| 697 | A. Jefferson Offutt and Jie Pan
Automatically Detecting Equivalent Mutants and Infeasible Paths
Software Testing, Verification and Reliability, 7(3), September 1997. |
|
| | Abstract: Mutation testing is a technique for testing software units that has great potential for improving the quality of testing, and thereby increasing our ability to assure the high reliability of critical software. It will be shown that recent advances in mutation research have brought a practical mutation testing system closer to reality. One recent advance is a partial solution to the problem of automatically detecting equivalent mutant programs. Equivalent mutants are currently detected by hand, which makes it very expensive and time-consuming. The problem of detecting equivalent mutants is a specific instance of a more general problem, commonly called the feasible path problem, which says that for certain structural testing criteria some of the test requirements are infeasible in the sense that the semantics of the program imply that no test case satisfies the test requirements. Equivalent mutants, unreachable statements in path testing techniques, and infeasible DU-pairs in data flow testing are all instances of the feasible path problem. This paper presents a technique that uses mathematical constraints, originally developed for test data generation, to automatically detect some equivalent mutants and infeasible paths. |
| | @ARTICLE{OffuttP97,
author = {A. Jefferson Offutt and Jie Pan},
title = {Automatically Detecting Equivalent Mutants and Infeasible Paths},
journal = {Software Testing, Verification and Reliability},
year = {1997},
month = {September},
volume = {7},
number = {3},
pages = {165-192}
} |
| 698 | Jeffrey Voas and Gary McGraw
{S}oftware {F}ault {I}njection: {I}noculating {P}rograms {A}gainst {E}rrors
Unknown- |
|
| | Abstract: Available soon... |
| | Unknown++ |
| 699 | Phyllis G. Frankl and Stewart N. Weiss and Cang Hu
All-uses vs mutation testing: An experimental comparison of effectiveness
Journal of Systems and Software, 38(3), 1997. |
|
| | Abstract: Available soon... |
| | @ARTICLE{FranklWH97,
author = {Phyllis G. Frankl and Stewart N. Weiss and Cang Hu},
title = {All-uses vs mutation testing: An experimental comparison of effectiveness},
journal = {Journal of Systems and Software},
year = {1997},
month = {},
volume = {38},
number = {3},
pages = {235--253}
} |
| 700 | Timothy K. Tsai and Shambhu Upadhyaya and Hong Zhao and Mei-Chen Hsueh, and Ravishankar K. Iyer
Path-based Fault Injection
Proceedings of the 3rd International Conference on Reliability and Quality in Design (ISSAT'97), 1997. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{TsaiUZHI97,
author = {Timothy K. Tsai and Shambhu Upadhyaya and Hong Zhao and Mei-Chen Hsueh, and Ravishankar K. Iyer},
title = {Path-based Fault Injection},
booktitle = {Proceedings of the 3rd International Conference on Reliability and Quality in Design (ISSAT'97)},
year = {1997},
address = {},
month = {},
pages = {121-125}
} |
