-
1
-
-
0011783933
-
Investigations into the PIE testability technique
-
IEI-CNR, Venice, Italy
-
Al-Khanjari, Z.A. and Woodward, M.R. 1998. Investigations into the PIE testability technique, Proceedings of the 4th International Conference on Achieving Quality in Software (AQuIS '98), IEI-CNR, Venice, Italy, pp. 25-34.
-
(1998)
Proceedings of the 4th International Conference on Achieving Quality in Software (AQuIS '98)
, pp. 25-34
-
-
Al-Khanjari, Z.A.1
Woodward, M.R.2
-
2
-
-
0025401660
-
Measures of testability as a basis for quality assurance
-
Bache, R. and Müllerburg, M. 1990. Measures of testability as a basis for quality assurance, Software Engineering Journal, 5(2): 86-92.
-
(1990)
Software Engineering Journal
, vol.5
, Issue.2
, pp. 86-92
-
-
Bache, R.1
Müllerburg, M.2
-
4
-
-
0001916887
-
On the use of testability measures for dependability assessment
-
Bertolino, A. and Strigini, L. 1996. On the use of testability measures for dependability assessment, IEEE Transactions on Software Engineering, 22(2): 97-108.
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.2
, pp. 97-108
-
-
Bertolino, A.1
Strigini, L.2
-
7
-
-
0003817779
-
-
New York, John Wiley & Sons, Inc., New York
-
Friedman, M.A. and Voas, J.M. 1995. Software Assessment: Reliability, Safety, Testability, New York, John Wiley & Sons, Inc., New York.
-
(1995)
Software Assessment: Reliability, Safety, Testability
-
-
Friedman, M.A.1
Voas, J.M.2
-
8
-
-
0023331999
-
Probable correctness theory
-
Hamlet, R.G. 1987. Probable correctness theory, Information Processing Letters, 25(1): 17-25.
-
(1987)
Information Processing Letters
, vol.25
, Issue.1
, pp. 17-25
-
-
Hamlet, R.G.1
-
9
-
-
0007856470
-
A theory of error-based testing
-
Ph.D. Thesis, University of Maryland. Department of Computer Science
-
Morell, L.J. 1984. A theory of error-based testing, Ph.D. Thesis, Technical Report TR-1395. University of Maryland. Department of Computer Science.
-
(1984)
Technical Report TR-1395
-
-
Morell, L.J.1
-
10
-
-
0024138949
-
The RELAY model of error detection and its application
-
Banff, Canada, IEEE Computer Society Press
-
Richardson, D.J. and Thompson, M.C. 1988. The RELAY model of error detection and its application. Proc. of the Second Workshop on Software Testing, Verification, and Analysis, Banff, Canada, IEEE Computer Society Press, pp. 223-230.
-
(1988)
Proc. of the Second Workshop on Software Testing, Verification, and Analysis
, pp. 223-230
-
-
Richardson, D.J.1
Thompson, M.C.2
-
11
-
-
0039850417
-
Schema-based mutation analysis: A new test data adequacy assessment method
-
Ph.D. Dissertation, U.S.A., Department of Computer Science
-
Untch, R.H. 1995. Schema-based mutation analysis: A new test data adequacy assessment method, Ph.D. Dissertation, Technical Report Clemson University, U.S.A., Department of Computer Science, pp. 95-115.
-
(1995)
Technical Report Clemson University
, pp. 95-115
-
-
Untch, R.H.1
-
12
-
-
0027805274
-
Mutation analysis using mutant schemata
-
ACM Press, Cambridge, Massachusetts
-
Untch, R.H., Offutt, A.J., and Harrold, M.J. 1993. Mutation analysis using mutant schemata. Proc. of the 1993 Int. Symposium on Software Testing and Analysis (ISSTA), ACM Press, Cambridge, Massachusetts, pp. 139-148.
-
(1993)
Proc. of the 1993 Int. Symposium on Software Testing and Analysis (ISSTA)
, pp. 139-148
-
-
Untch, R.H.1
Offutt, A.J.2
Harrold, M.J.3
-
14
-
-
0342865583
-
Object-oriented software testability
-
S. Bologna and G. Bucci (Eds.), London, U.K., Chapman & Hall.
-
Voas, J.M. 1996. Object-oriented software testability, in Achieving Quality in Software, S. Bologna and G. Bucci (Eds.), London, U.K., Chapman & Hall. pp. 279-290.
-
(1996)
Achieving Quality in Software
, pp. 279-290
-
-
Voas, J.M.1
-
15
-
-
0002825870
-
The revealing power of a test case
-
Voas, J.M. and Miller, K.W. 1992. The revealing power of a test case, Software Testing, Verification and Reliability, 2(1): 25-42.
-
(1992)
Software Testing, Verification and Reliability
, vol.2
, Issue.1
, pp. 25-42
-
-
Voas, J.M.1
Miller, K.W.2
-
16
-
-
1842840457
-
Applying a dynamic testability technique to debugging certain classes of software faults
-
Voas, J.M. and Miller, K.W. 1993. Applying a dynamic testability technique to debugging certain classes of software faults, Software Quality Journal, 2(1): 61-75.
-
(1993)
Software Quality Journal
, vol.2
, Issue.1
, pp. 61-75
-
-
Voas, J.M.1
Miller, K.W.2
-
18
-
-
0029306012
-
Software testability: The new verification
-
Voas, J.M. and Miller, K.W. 1995. Software testability: the new verification, IEEE Software, 12(3): 17-28.
-
(1995)
IEEE Software
, vol.12
, Issue.3
, pp. 17-28
-
-
Voas, J.M.1
Miller, K.W.2
-
19
-
-
0026119962
-
Predicting where faults can hide from testing
-
Voas, J.M., Morell, L.J., and Miller, K.W. 1991. Predicting where faults can hide from testing, IEEE Software, 8(2): 41-48.
-
(1991)
IEEE Software
, vol.8
, Issue.2
, pp. 41-48
-
-
Voas, J.M.1
Morell, L.J.2
Miller, K.W.3
-
20
-
-
1542710094
-
Designing programs that are less likely to hide faults
-
Voas, J.M., Payne, J.E., and Miller, K.W. 1993. Designing programs that are less likely to hide faults, The Journal of Systems and Software, 20(1): 93-100.
-
(1993)
The Journal of Systems and Software
, vol.20
, Issue.1
, pp. 93-100
-
-
Voas, J.M.1
Payne, J.E.2
Miller, K.W.3
-
21
-
-
0028755958
-
Dynamic testability analysis for assessing fault tolerance
-
Voas, J.M. and Miller, K.W. 1994. Dynamic testability analysis for assessing fault tolerance High Integrity Systems Journal, 1(2): 171-178.
-
(1994)
High Integrity Systems Journal
, vol.1
, Issue.2
, pp. 171-178
-
-
Voas, J.M.1
Miller, K.W.2
|