-
1
-
-
0020141868
-
Validation, Verification, and Testing of Computer Software
-
Adrion, W., M.A. Branstad, and J.C. Cherniavski (1982), "Validation, Verification, and Testing of Computer Software," Computing Surveys 14, 2, 159-192.
-
(1982)
Computing Surveys
, vol.14
, Issue.2
, pp. 159-192
-
-
Adrion, W.1
Branstad, M.A.2
Cherniavski, J.C.3
-
3
-
-
0027306938
-
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
-
Butler, R.W. and G.B. Finelli (1993), "The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software," IEEE Transactions on Software Engineering 19, 1, 3-12.
-
(1993)
IEEE Transactions on Software Engineering
, vol.19
, Issue.1
, pp. 3-12
-
-
Butler, R.W.1
Finelli, G.B.2
-
4
-
-
0003740569
-
-
Technical Report SERC-TR-117-P, Purdue University, West Lafayette, IN
-
Chen, M.-H., J.R. Horgan, A.P. Mathur, and V.J. Rego (1992), "A Time/Structure Based Model for Estimating Software Reliability," Technical Report SERC-TR-117-P, Purdue University, West Lafayette, IN.
-
(1992)
A Time/Structure Based Model for Estimating Software Reliability
-
-
Chen, M.-H.1
Horgan, J.R.2
Mathur, A.P.3
Rego, V.J.4
-
5
-
-
0024769237
-
A Formal Evaluation of Data Flow Path Selection Criteria
-
Clarke, L.A., A. Podgurski, D.J. Richardson, and S.J. Zeil (1989), "A Formal Evaluation of Data Flow Path Selection Criteria," IEEE Transactions on Software Engineering 15, 11, 1318-1332.
-
(1989)
IEEE Transactions on Software Engineering
, vol.15
, Issue.11
, pp. 1318-1332
-
-
Clarke, L.A.1
Podgurski, A.2
Richardson, D.J.3
Zeil, S.J.4
-
6
-
-
0025510192
-
Engineering Software under Statistical Quality Control
-
Cobb, R.H. and H.D. Mills (1990), "Engineering Software Under Statistical Quality Control," IEEE Software 7, 6, 44-54.
-
(1990)
IEEE Software
, vol.7
, Issue.6
, pp. 44-54
-
-
Cobb, R.H.1
Mills, H.D.2
-
7
-
-
0003707560
-
-
John Wiley and Sons, Second Edition, New York, NY
-
David, H.A. (1981), Order Statistics, John Wiley and Sons, Second Edition, New York, NY.
-
(1981)
Order Statistics
-
-
David, H.A.1
-
8
-
-
0017959155
-
Hints on Test Data Selection: Help for the Practicing Programmer
-
DeMillo, R.A., F.G. Sayward, and R.J. Lipton (1978), "Hints on Test Data Selection: Help for the Practicing Programmer," Computer 11, 4, 34-41.
-
(1978)
Computer
, vol.11
, Issue.4
, pp. 34-41
-
-
DeMillo, R.A.1
Sayward, F.G.2
Lipton, R.J.3
-
9
-
-
0024091830
-
An Applicable Family of Data Flow Testing Criteria
-
Frankl, P.G. and E.J. Weyuker (1988), "An Applicable Family of Data Flow Testing Criteria," IEEE Transactions on Software Engineering 14, 10, 1483-1498.
-
(1988)
IEEE Transactions on Software Engineering
, vol.14
, Issue.10
, pp. 1483-1498
-
-
Frankl, P.G.1
Weyuker, E.J.2
-
10
-
-
84947667054
-
Are We Testing for True Reliability?
-
Hamlet, R. (1992), "Are We Testing for True Reliability?" IEEE Software 9, 4, 21-27.
-
(1992)
IEEE Software
, vol.9
, Issue.4
, pp. 21-27
-
-
Hamlet, R.1
-
11
-
-
0025530786
-
Partition Testing Does Not Inspire Confidence
-
Hamlet, R. and R. Taylor (1990), "Partition Testing Does Not Inspire Confidence," IEEE Transactions on Software Engineering 16, 12, 1402-1411.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.12
, pp. 1402-1411
-
-
Hamlet, R.1
Taylor, R.2
-
12
-
-
0027866116
-
Faults on Its Sleeve: Amplifying Software Reliability Testing
-
ACM/SIGSOFT, Baltimore, MD
-
Hamlet, R. and J. Voas (1993), "Faults on Its Sleeve: Amplifying Software Reliability Testing," In Proceedings of the International Symposium on Software Testing and Analysis, Volume 18, ACM/SIGSOFT, Baltimore, MD, pp. 89-98.
-
(1993)
Proceedings of the International Symposium on Software Testing and Analysis
, vol.18
, pp. 89-98
-
-
Hamlet, R.1
Voas, J.2
-
13
-
-
0028710967
-
Some Effects of Fault Recovery Order on Software Reliability Models
-
IEEE Computer Society Press, Los Alamitos, CA
-
Hoppa, M.A. and L.W. Wilson (1994), "Some Effects of Fault Recovery Order on Software Reliability Models," In Fifth International Symposium on Software Reliability Engineering (ISSRE 94), IEEE Computer Society Press, Los Alamitos, CA, pp. 338-342.
-
(1994)
Fifth International Symposium on Software Reliability Engineering (ISSRE 94)
, pp. 338-342
-
-
Hoppa, M.A.1
Wilson, L.W.2
-
14
-
-
0028699274
-
Software Trustability
-
IEEE Computer Society Press, Los Alamitos, CA
-
Howden, W.E. and Y. Huang (1994), "Software Trustability," In Fifth International Symposium on Software Reliability Engineering (ISSRE 94), IEEE Computer Society Press, Los Alamitos, CA, pp. 143-151.
-
(1994)
Fifth International Symposium on Software Reliability Engineering (ISSRE 94)
, pp. 143-151
-
-
Howden, W.E.1
Huang, Y.2
-
15
-
-
0002979446
-
Software Reliability Research
-
W. Freiberger, Ed., Academic Press, New York, NY
-
Jelinski, Z. and P.B. Moranda (1972), "Software Reliability Research," In Statistical Computer Reliability Engineering, W. Freiberger, Ed., Academic Press, New York, NY, pp. 465-497.
-
(1972)
Statistical Computer Reliability Engineering
, pp. 465-497
-
-
Jelinski, Z.1
Moranda, P.B.2
-
16
-
-
0022581573
-
An Experimental Evaluation of the Assumption of Independence in Multiversion Programming
-
Knight, J. and N. Leveson (1986), "An Experimental Evaluation of the Assumption of Independence in Multiversion Programming," IEEE Transactions on Software Engineering SE-12, 1, 96-109.
-
(1986)
IEEE Transactions on Software Engineering
, vol.SE-12
, Issue.1
, pp. 96-109
-
-
Knight, J.1
Leveson, N.2
-
17
-
-
0028391939
-
Cleanroom Process Model
-
Linger, R.C. (1994), "Cleanroom Process Model," IEEE Software 11, 2, 50-58.
-
(1994)
IEEE Software
, vol.11
, Issue.2
, pp. 50-58
-
-
Linger, R.C.1
-
18
-
-
0019057466
-
Theories of Software Reliability: How Good Are They and How Can They Be Improved?
-
Littlewood, B. (1980), "Theories of Software Reliability: How Good Are They and How Can They Be Improved?," IEEE Transactions on Software Engineering SE-6, 5, 489-500.
-
(1980)
IEEE Transactions on Software Engineering
, vol.SE-6
, Issue.5
, pp. 489-500
-
-
Littlewood, B.1
-
19
-
-
0019622073
-
Stochastic Reliability-Growth: A Model for Fault-Removal in Computer-Programs and Hardware-Designs
-
Littlewood, B. (1981), "Stochastic Reliability-Growth: A Model for Fault-Removal in Computer-Programs and Hardware-Designs," IEEE Transactions on Reliability R-30, 4, 313-320.
-
(1981)
IEEE Transactions on Reliability
, vol.R-30
, Issue.4
, pp. 313-320
-
-
Littlewood, B.1
-
20
-
-
0028698748
-
The Relationship between Test Coverage and Reliability
-
IEEE Compute Society Press, Los Alamitos, CA
-
Malaiya, Y.K., N. Li, J. Bieman, R. Karich, and B. Skibbe (1994), "The Relationship Between Test Coverage and Reliability," In Fifth International Symposium on Software Reliability Engineering (ISSRE 94), IEEE Compute Society Press, Los Alamitos, CA, pp. 186-195.
-
(1994)
Fifth International Symposium on Software Reliability Engineering (ISSRE 94)
, pp. 186-195
-
-
Malaiya, Y.K.1
Li, N.2
Bieman, J.3
Karich, R.4
Skibbe, B.5
-
21
-
-
0029514014
-
A Reliability Model Combining Representative and Directed Testing
-
IEEE Computer Society Press, Los Alamitos, CA
-
Mitchell, B. and S.J. Zeil (1996), "A Reliability Model Combining Representative and Directed Testing," In Proceedings of the 18th International Conference on Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 506-514.
-
(1996)
Proceedings of the 18th International Conference on Software Engineering
, pp. 506-514
-
-
Mitchell, B.1
Zeil, S.J.2
-
22
-
-
0003517458
-
-
Technical report, Data and Analysis Center for Software, Utica, NY
-
Musa, J.D. (1979), "Software Reliability Data," Technical report, Data and Analysis Center for Software, Utica, NY.
-
(1979)
Software Reliability Data
-
-
Musa, J.D.1
-
23
-
-
84941181463
-
Operational Profiles in Software-Reliability Engineering
-
Musa, J.D. (1993), "Operational Profiles in Software-Reliability Engineering," IEEE Software 10, 2, 14-32.
-
(1993)
IEEE Software
, vol.10
, Issue.2
, pp. 14-32
-
-
Musa, J.D.1
-
24
-
-
0003960126
-
-
McGraw-Hill, New York, NY
-
Musa, J.D., A. Iannino, and K. Okumoto (1987), Software Reliability: Measurement, Prediction, Application, McGraw-Hill, New York, NY.
-
(1987)
Software Reliability: Measurement, Prediction, Application
-
-
Musa, J.D.1
Iannino, A.2
Okumoto, K.3
-
25
-
-
84963693584
-
Partitioned Testing, Stratified Sampling, and Cluster Analysis
-
Podgurski, A., C. Yang, and W. Masri (1993), "Partitioned Testing, Stratified Sampling, and Cluster Analysis," In Proceedings of the First ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 169-181. Also published as Software Engineering Notes 18, 5.
-
(1993)
Proceedings of the First ACM SIGSOFT Symposium on the Foundations of Software Engineering
, pp. 169-181
-
-
Podgurski, A.1
Yang, C.2
Masri, W.3
-
26
-
-
84963693584
-
-
Podgurski, A., C. Yang, and W. Masri (1993), "Partitioned Testing, Stratified Sampling, and Cluster Analysis," In Proceedings of the First ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 169-181. Also published as Software Engineering Notes 18, 5.
-
Software Engineering Notes
, vol.18
, pp. 5
-
-
-
27
-
-
0042016458
-
Preliminary Observations on Program Testability
-
Pacific Northwest Quality Conference, OR
-
Voas, J. (1991), "Preliminary Observations on Program Testability," In Proceedings of the Pacific Northwest Quality Conference, Pacific Northwest Quality Conference, OR, pp. 235-247.
-
(1991)
Proceedings of the Pacific Northwest Quality Conference
, pp. 235-247
-
-
Voas, J.1
-
28
-
-
0026901308
-
PIE: A Dynamic Failure-Based Technique
-
Voas, J.M. (1992), "PIE: A Dynamic Failure-Based Technique," IEEE Transactions on Software Engineering 18, 8, 717-727.
-
(1992)
IEEE Transactions on Software Engineering
, vol.18
, Issue.8
, pp. 717-727
-
-
Voas, J.M.1
-
29
-
-
0022026571
-
Comparison of Structural Test Coverage Metrics
-
Weiser, M.D., J.D. Gannon, and P.R. McMullin (1985), "Comparison of Structural Test Coverage Metrics," IEEE Software 2, 2, 80-85.
-
(1985)
IEEE Software
, vol.2
, Issue.2
, pp. 80-85
-
-
Weiser, M.D.1
Gannon, J.D.2
McMullin, P.R.3
-
30
-
-
0042016457
-
Software Testing and Verification
-
M. Yovits, Ed., Academic Press, London, UK
-
White, L.J. (1987), "Software Testing and Verification," In Advances in Computers, M. Yovits, Ed., Volume 26, Academic Press, London, UK, pp. 335-391.
-
(1987)
Advances in Computers
, vol.26
, pp. 335-391
-
-
White, L.J.1
-
31
-
-
0026884729
-
Employing Accumulated Knowledge to Refine Test Cases
-
Wild, C., S. Zeil, J. Chen, and G. Feng (1992), "Employing Accumulated Knowledge to Refine Test Cases," Software Testing, Verification, and Reliability 2, 2, 53-68.
-
(1992)
Software Testing, Verification, and Reliability
, vol.2
, Issue.2
, pp. 53-68
-
-
Wild, C.1
Zeil, S.2
Chen, J.3
Feng, G.4
-
32
-
-
0024680452
-
Perturbation Testing for Domain Errors
-
Zeil, S.J. (1989), "Perturbation Testing for Domain Errors," IEEE Transactions on Software Engineering 15, 6, 737-746.
-
(1989)
IEEE Transactions on Software Engineering
, vol.15
, Issue.6
, pp. 737-746
-
-
Zeil, S.J.1
|