SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

The Journal of Systems and Software

Volumn 31, Issue 3, 1995, Pages 185-196

Reducing the cost of mutation testing: An empirical study

(2) Wong, W Eric a Mathur, Aditya P b

a TELCORDIA TECHNOLOGIES (United States)

b PURDUE UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; COSTS; ERROR DETECTION; PROGRAM DIAGNOSTICS; RANDOM PROCESSES;

MUTANTS; MUTATION TESTING;

PROGRAM DEBUGGING;

EID: 0029478820 PISSN: 01641212 EISSN: None Source Type: Journal
DOI: 10.1016/0164-1212(94)00098-0 Document Type: Article

Times cited : (177)

References (30)

1
- 0004717296
- On Mutation
- School of Information and Computer Science, Georgia Institute of Technology, Atlanta, Georgia
- (1980) Ph.D. Thesis
- Acree¹

2
- 0003502105
- Mutation Analysis
- School of Information and Computer Science, Georgia Institute of Technology, Atlanta, Georgia
- (1979) Technical Report GIT-ICS-79/08
- Acree¹ Budd² DeMillo³ Lipton⁴ Sayward⁵

3
- 0003592486
- Design of Mutant Operators for the C Programming Language
- Software Engineering Research Center, Purdue University, West Lafayette, Indiana
- (1989) Technical Report SERC-TR-41-P
- Agrawal¹ DeMillo² Hathaway³ Hsu⁴ Hsu⁵ Krauser⁶ Martin⁷ Mathur⁸ Spafford⁹

4
- 0016674309
- SELECT—A Formal System for Testing and Debugging Programs by Symbolic Execution
- (1975) ACM SIGPLAN Notices , vol.10 , pp. 234-245
- Boyer¹ Elspas² Levitt³

5
- 0004661054
- Mutation Analysis of Program Test Data
- Yale University, New Haven, Connecticut
- (1980) Ph.D. Thesis
- Budd¹

6
- 0003108918
- Mutation analysis: Ideas, examples, problems and prospect
- B. Chandrasekaran, S. Radicchi, North-Holland, Amsterdam
- (1981) Computer Program Testing
- Budd¹

7
- 84912505942
- The design of a prototype mutation system for program testing
- (1978) Proceedings 1978 National Computer Conference
- Budd¹ DeMillo² Lipton³ Sayward⁴

8
- 85051433937
- Theoretical and empirical studies on using program mutation to test the functional correctness of programs
- (1980) Proceedings of the Seventh ACM Symposium on Principles of Programming Languages
- Budd¹ DeMillo² Lipton³ Sayward⁴

9
- 0024868172
- The Mothra toolset
- (1989) Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences
- Choi¹ DeMillo² Krauser³ Mathur⁴ Martin⁵ Offutt⁶ Pan⁷ Spafford⁸

10
- 0016993577
- A System to Generate Test Data and Symbolically Execute Programs
- (1976) IEEE Transactions on Software Engineering , vol.2 SE , pp. 215-222
- Clarke¹

11
- 0024769237
- A Formal Evaluation of Data Flow Path Selection Criteria
- (1989) IEEE Trans. Software Eng. , vol.15 , Issue.11 , pp. 1318-1332
- Clarke¹ Podgurski² Richardson³ Zeil⁴

12
- 0026222968
- Constraint Based Automatic Test Data Generation
- (1991) IEEE Trans. Software Eng. , vol.17 , Issue.9 , pp. 900-910
- DeMillo¹ Offutt²

13
- 0017959155
- Hints on Test Data Selection: Help for the Practicing Programmer
- (1978) IEEE Comp. , vol.11 , Issue.4 , pp. 34-41
- DeMillo¹ Lipton² Sayward³

14
- 0024126208
- An extended overview of the Mothra software testing environment
- (1988) Proceedings of the Second Workshop on Software Testing, Verification and Analysis , pp. 142-151
- DeMillo¹ Guindi² King³ McCracken⁴ Offutt⁵

15
- 77954753051
- The Mothra Software Testing Environment User's Manual
- Software Engineering Research Center, Purdue University, West Lafayette, Indiana
- (1987) Technical Report SERC-TR-4-P
- DeMillo¹ Martin²

16
- 84916565347
- Is data flow testing more effective than branch testing: An empirical study
- (1991) Proceedings Quality Week 1991
- Frankl¹ Weiss²

17
- 0016520230
- Toward a Theory of Test Data Selection
- (1975) IEEE Transactions on Software Engineering , vol.1 SE , pp. 156-173
- Goodenough¹ Gerhart²

18
- 0014973676
- Proof of a Program Find
- (1971) Communications of the ACM , vol.14 , pp. 39-45
- Hoare¹

19
- 85013187726
- Data flow coverage and the C language
- (1991) Proceedings of the Fourth Symposium on Software Testing, Analysis, and Verification , pp. 87-97
- Horgan¹ London²

20
- 0027001370
- ATAC A data flow coverage testing tool for C
- (1992) Proceedings of Symposium on Assessment of Quality Software Development Tools , pp. 2-10
- Horgan¹ London²

21
- 0026868441
- Assessing Testing Tools in Research and Education
- (1992) IEEE Software , vol.9 , pp. 61-69
- Horgan¹ Mathur²

22
- 0016994996
- Reliability of the Path Analysis Testing Strategy
- (1976) IEEE Transactions on Software Engineering , vol.2 SE , pp. 208-214
- Howden¹

23
- 85026836099
- On the relative strengths of data flow and mutation testing
- (1991) Proceedings of the Ninth Annual Pacific Northwest Software Quality Conference
- Mathur¹

24
- 85026355563
- Performance effectiveness and reliability issues in software testing
- (1991) Proceedings of the Fifteenth Annual International Computer Software and Applications Conference , pp. 604-605
- Mathur¹

25
- 28844477140
- Mutation testing
- J.J. Marciniak, John Wiley and Sons Inc
- (1994) Encyclopedia of Software Engineering , pp. 707-713
- Mathur¹

26
- 80053583645
- An Empirical Comparison of Mutation and Data Flow Based Test Adequacy Criteria
- Software Engineering Research Center, Purdue University, West Lafayette, Indiana
- (1993) Technical Report SERC-TR-135-P
- Mathur¹ Wong²

27
- 0022043004
- Selecting Software Test Data Using Data Flow Information
- (1985) IEEE Transactions on Software Engineering , vol.11 SE , pp. 367-375
- Rapps¹ Weyuker²

28
- 34247169567
- A Measure of Test Case Completeness
- The State University of New York at Binghamton, Binghamton, New York
- (1985) Ph.D. Thesis
- Walsh¹

29
- 0041037289
- Comparison of program testing strategies
- (1991) Proceedings of the Fourth Symposium on Software Testing, Analysis and Verification , pp. 154-164
- Weyuker¹ Weiss² Hamlet³

30
- 0028385839
- An Empirical Comparison of Data Flow and Mutation Based Test Adequacy Criteria
- (1994) Software Testing, Verification and Reliability , vol.4 , Issue.1 , pp. 9-31
- Wong¹ Mathur²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.