Software testing and evaluation
Software testing and evaluation
A functional approach to program testing and analysis
IEEE Transactions on Software Engineering
Systematic software development using VDM
Systematic software development using VDM
Fault Injection Experiments Using FIAT
IEEE Transactions on Computers
Debugging Larch Shared Language Specifications
IEEE Transactions on Software Engineering
FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior Under Faults
IEEE Transactions on Software Engineering - Special issue on software reliability
Social processes and proofs of theorems and programs
Communications of the ACM
IEEE Software
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
Improving Software Testability with Assertion Insertion
Proceedings of the IEEE International Test Conference on TEST: The Next 25 Years
Weak Mutation Testing and Completeness of Test Sets
IEEE Transactions on Software Engineering
Building Software Recovery Assertions from a Fault Injection-based Propagation Analysis
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Robustness Testing of Java Server Applications
IEEE Transactions on Software Engineering
An approach to automatic testing exception handling
ACM SIGPLAN Notices
Emulation of Software Faults: A Field Data Study and a Practical Approach
IEEE Transactions on Software Engineering
What causes a system to satisfy a specification?
ACM Transactions on Computational Logic (TOCL)
Bytecode fault injection for Java software
Journal of Systems and Software
A fault injection approach based on operational profile
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
An empirical validation of a web fault taxonomy and its usage for web testing
Journal of Web Engineering
Efficient Testing of Recovery Code Using Fault Injection
ACM Transactions on Computer Systems (TOCS)
Hi-index | 0.00 |
During testing, it is nearly impossible to run all statements or branches of a program. It is especially difficult to test the code used to respond to exceptional conditions. This untested code, often the error recovery code, will tend to be an error prone part of a system. We show that test coverage can be increased through an "assertion violation" technique for injecting software faults during execution. Using our prototype tool, Visual C-Patrol (VCP), we were able to substantially increase test branch coverage in four software systems studied.