-
1
-
-
0029254979
-
A Model for Software Product Quality
-
R. Dromey. A Model for Software Product Quality, IEEE Trans. Software Eng., SE-21 (2), (1995), pp. 146-162.
-
(1995)
IEEE Trans. Software Eng.
, vol.SE-21
, Issue.2
, pp. 146-162
-
-
Dromey, R.1
-
3
-
-
0028728272
-
Behavior-based acceptance testing of software systems : A formal scenario approach
-
P. Hsia, J. Gao, J. Samuel, D. Kung, Y. Toyoshima and C. Chen. Behavior-based acceptance testing of software systems : a formal scenario approach, Proceedings of the 18th Annual International Computer Software and Applications Conference (COMPSAC), 1994.
-
(1994)
Proceedings of the 18th Annual International Computer Software and Applications Conference (COMPSAC)
-
-
Hsia, P.1
Gao, J.2
Samuel, J.3
Kung, D.4
Toyoshima, Y.5
Chen, C.6
-
7
-
-
84876657972
-
-
IEEE Std. 610.12 - 1990. IEEE Standard Glossary of Software Engineering Terminology
-
IEEE Std. 610.12 - 1990. IEEE Standard Glossary of Software Engineering Terminology.
-
-
-
-
9
-
-
18844390300
-
A survey of static analysis methods
-
E. Miller and WE. Howden (eds) IEEE Computer Society Press
-
W.E. Howden. A survey of static analysis methods, in E. Miller and WE. Howden (eds) Software Testing and Validation Techniques, 2nd edn (IEEE Computer Society Press, 1981) pp. 101-115.
-
(1981)
Software Testing and Validation Techniques, 2nd Edn
, pp. 101-115
-
-
Howden, W.E.1
-
11
-
-
0025510772
-
A study of integration testing and software regression at the integration level
-
Nov. IEEE Computer Society Press
-
H. Leung and L. White. A study of integration testing and software regression at the integration level, Proceedings of a Conference on Software Maintenance, Nov. 1990, pp. 290-301 (IEEE Computer Society Press).
-
(1990)
Proceedings of a Conference on Software Maintenance
, pp. 290-301
-
-
Leung, H.1
White, L.2
-
12
-
-
84941181463
-
Operational profiles in software-reliability engineering
-
March
-
J. Musa. Operational profiles in software-reliability engineering. IEEE Software, 10, March (1993) pp. 14-32.
-
(1993)
IEEE Software
, vol.10
, pp. 14-32
-
-
Musa, J.1
-
13
-
-
0022043879
-
Requirements-based testing of real-time systems : Modeling for testability
-
April
-
M. Chandrasekharan, B. Dasarathy and Z. Kishimot. Requirements-based testing of real-time systems : modeling for testability, IEEE Computer, April (1995) pp. 71-80.
-
(1995)
IEEE Computer
, pp. 71-80
-
-
Chandrasekharan, M.1
Dasarathy, B.2
Kishimot, Z.3
-
14
-
-
0020154271
-
Software reliability - Status and perspectives
-
C. Ramamoorthy and F. Bastani. Software reliability - status and perspectives, IEEE Trans, on Software Eng., SE-8 (4) (1982) pp. 354-371.
-
(1982)
IEEE Trans. on Software Eng.
, vol.SE-8
, Issue.4
, pp. 354-371
-
-
Ramamoorthy, C.1
Bastani, F.2
-
15
-
-
0024663572
-
Quantifying software validation: When to stop testing
-
May
-
J. Musa and F. Ackerman. Quantifying software validation: when to stop testing, IEEE Software, 6, May (1989) pp. 19-27.
-
(1989)
IEEE Software
, vol.6
, pp. 19-27
-
-
Musa, J.1
Ackerman, F.2
-
16
-
-
0025135323
-
Application of software reliability modeling to product quality and test process
-
Nice, France, March (IEEE Computer Society Press)
-
W. Ehrlich, J. Stempfel, R. Wu. Application of software reliability modeling to product quality and test process, Proceedings 12th International Conference on Software Engineering, Nice, France, March 1990 (IEEE Computer Society Press) pp. 108-116.
-
(1990)
Proceedings 12th International Conference on Software Engineering
, pp. 108-116
-
-
Ehrlich, W.1
Stempfel, J.2
Wu, R.3
-
18
-
-
0030291196
-
Software-reliability-engineered testing
-
November
-
J.D. Musa. Software-reliability-engineered testing. IEEE Computer, November (1996), pp. 61-68.
-
(1996)
IEEE Computer
, pp. 61-68
-
-
Musa, J.D.1
|