Estimation and enhancement of real-time software reliability through mutation analysis
- 1 May 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 41 (5) , 550-558
- https://doi.org/10.1109/12.142681
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- A CONCEPTUAL MODEL OF MULTI-VERSION SOFTWAREPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- An extended overview of the Mothra software testing environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A fortran language system for mutation‐based software testingSoftware: Practice and Experience, 1991
- Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behaviorIEEE Transactions on Computers, 1988
- A Generalized Timed Petri Net Model for Performance AnalysisIEEE Transactions on Software Engineering, 1987
- An experimental evaluation of the assumption of independence in multiversion programmingIEEE Transactions on Software Engineering, 1986
- The N-Version Approach to Fault-Tolerant SoftwareIEEE Transactions on Software Engineering, 1985
- A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident ErrorsIEEE Transactions on Software Engineering, 1985
- Two notions of correctness and their relation to testingActa Informatica, 1982
- Hints on Test Data Selection: Help for the Practicing ProgrammerComputer, 1978