-
1
-
-
0003592486
-
Design of mutant operators for the c programming language
-
Purdue University, West Lafayette, Indiana, March
-
H. Agrawal, R. DeMillo, R. Hathaway, W. M. Hsu, W. Hsu, E. Krauser, R. J. Martin, A. Mathur, and E. Spafford. Design of Mutant Operators for the C Programming Language. Technical Report SERC-TR-41-P, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, March 1989.
-
(1989)
Technical Report SERC-TR-41-P, Software Engineering Research Center
-
-
Agrawal, H.1
DeMillo, R.2
Hathaway, R.3
Hsu, W.M.4
Hsu, W.5
Krauser, E.6
Martin, R.J.7
Mathur, A.8
Spafford, E.9
-
5
-
-
80053588132
-
-
Technical Report SERC-TR-3-P, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, August
-
R. A. DeMillo, D. S. Guindi, K. N. King, and W. M. Mc-Cracken. An Overview of the Mothra Software Testing Environment. Technical Report SERC-TR-3-P, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, August 1987.
-
(1987)
An Overview of the Mothra Software Testing Environment
-
-
DeMillo, R.A.1
Guindi, D.S.2
King, K.N.3
Mc-Cracken, W.M.4
-
12
-
-
0002310435
-
The rigorous generation of Java mutation operators using HAZOP
-
Paris, France, December
-
S. Kim, J. A. Clark, and J. A. McDermid. "The Rigorous Generation of Java Mutation Operators Using HAZOP". In Proceedings of the 12th International Conference on Software and Systems Engineering and their Applications (ICSSEA' 99), Paris, France, December 1999.
-
(1999)
Proceedings of the 12th International Conference on Software and Systems Engineering and Their Applications (ICSSEA' 99)
-
-
Kim, S.1
Clark, J.A.2
McDermid, J.A.3
-
14
-
-
0007512363
-
Method sequence specification and verification of classes
-
October
-
S. Kirani and W. T. Tsai. "Method Sequence Specification and Verification of Classes". Journal of Object-Oriented Programming, pages 28-38, October 1994.
-
(1994)
Journal of Object-Oriented Programming
, pp. 28-38
-
-
Kirani, S.1
Tsai, W.T.2
-
15
-
-
34247331220
-
Change impact identification in object oriented software maintenance
-
D. Kung, J. Gao, P. Hsia, F. Wen, Y. Toyoshima, and C. Chen. "Change Impact Identification in Object Oriented Software Maintenance". In Proceedings of IEEE International Conference on Software Maintenance, pages 202-211, 1994.
-
(1994)
Proceedings of IEEE International Conference on Software Maintenance
, pp. 202-211
-
-
Kung, D.1
Gao, J.2
Hsia, P.3
Wen, F.4
Toyoshima, Y.5
Chen, C.6
-
17
-
-
0028127515
-
A Theoretical comparison between mutation and data flow based criteria
-
Phoenix, Arizona, USA, March 8-10
-
A. P. Mathur and W. E. Wong. A Theoretical Comparison Between Mutation and Data Flow Based Criteria. In Proceedings 22nd Annual ACM Computer Science Conference on scaling up: meeting the challenge of complexity in realworld computing applications, pages 38-45, Phoenix, Arizona, USA, March 8-10 1994.
-
(1994)
Proceedings 22nd Annual ACM Computer Science Conference on Scaling Up: Meeting the Challenge of Complexity in Realworld Computing Applications
, pp. 38-45
-
-
Mathur, A.P.1
Wong, W.E.2
-
18
-
-
0007473206
-
-
Technical Report ISSE-TR-96-09, Information and Software Systems Engineering, George Mason University, Fairfax, Virginia, March
-
A. J. Offutt, J. Voas, and J. Payne. Mutation Operators for Ada. Technical Report ISSE-TR-96-09, Information and Software Systems Engineering, George Mason University, Fairfax, Virginia, March 1996.
-
(1996)
Mutation Operators for Ada
-
-
Offutt, A.J.1
Voas, J.2
Payne, J.3
-
21
-
-
0029306012
-
Software testability: The new verification
-
May
-
J. M. Voas and K. W. Miller. "Software Testability: The New Verification". IEEE Software, pages 17-28, May 1995.
-
(1995)
IEEE Software
, pp. 17-28
-
-
Voas, J.M.1
Miller, K.W.2
|