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

메뉴 건너뛰기

IBM Systems Journal

Volumn 41, Issue 1, 2002, Pages 4-12

Software debugging, testing, and verification

(2) Hailpern, Brent a Santhanam, Padmanabhan a

a IBM T J WATSON RESEARCH CENTER (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER DEBUGGING; COSTS; LARGE SCALE SYSTEMS; PROGRAM DEBUGGING; PROGRAMMING THEORY; WORLD WIDE WEB;

SOFTWARE DEBUGGING; SOFTWARE TESTING; SOFTWARE VERIFICATION;

SOFTWARE ENGINEERING;

EID: 0036319465 PISSN: 00188670 EISSN: None Source Type: Journal
DOI: 10.1147/sj.411.0004 Document Type: Article

Times cited : (214)

References (36)

1
- 0003407933
- Addison-Wesley Longman, Reading, MA
- (1995) The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition
- Brooks, F.P.¹

2
- 0003602045
- John Wiley & Sons, Inc., New York
- (1976) Software Reliability: Principles and Practices
- Myers, G.J.¹

3
- 2942606710
- ANSI/IEEE Standard 729-1983, IEEE Standard, IEEE, NY
- (1983) Glossary of Software Engineering Terminology

4
- 0003623305
- Prentice-Hall, Inc., Englewood Cliffs, NJ
- (1982) Software Verification and Validation: Realistic Project Approaches
- Deutsch, M.S.¹

5
- 0003625739
- McGraw-Hill, New York
- (1992) Software Engineering: A Practitioner's Approach
- Pressman, R.S.¹

6
- 0003960875
- IEEE Standard 982.2-1988, IEEE, New York
- (1989) IEEE Guide to the Use of IEEE Standard Dictionary of Measures to Produce Reliable Software

7
- 0004010083
- Addison-Wesley Publishing Co., Reading, MA
- (1990) Managing the Software Process
- Humphrey, W.S.¹

8
- 0004044035
- Addison-Wesley Publishing Co., Reading, PA
- (1992) Program Verification
- Francez, N.¹

9
- 0017292244
- Design and code inspections to reduce errors in program development
- (1976) IBM Systems Journal , vol.15 , pp. 3
- Fagan, M.E.¹

10
- 0004135418
- John Wiley & Sons, Inc., New York
- (1976) The Art of Software Testing
- Myers, G.J.¹

11
- 0004097670
- Van Nostrand Reinhold, New York
- (1990) Software Testing Techniques
- Beizer, B.¹

12
- 0003962322
- MIT Press, Cambridge, MA
- (2000) Model Checking
- Clarke, E.M.¹ Grumberg, O.² Peled, D.A.³

13
- 85037022758
- Toronto, Canada (May 19-20)
- (2001) Model Checking Software, Proceedings, Eighth International SPIN Workshop

14
- 0003452973
- Springer-Verlag, Heidelberg
- (1997) Verification of Sequential and Concurrent Programs, Second Edition
- Apt, K.R.¹ Olderog, E.R.²

15
- 85013185379
- The debugging scandal and what to do about it
- (April)
- (1997) Communications of the ACM , vol.40 , Issue.4 , pp. 26-29
- Lieberman, H.¹

16
- 0031117798
- My hairiest bug war stories
- (April)
- (1997) Communications of the ACM , vol.40 , Issue.4 , pp. 31-37
- Eisenstadt, M.¹

17
- 0031122063
- Software visualization for debugging
- (April); and other papers in the same issue
- (1997) Communications of the ACM , vol.40 , Issue.4 , pp. 44-54
- Baecker, R.¹ DiGiano, C.² Marcus, A.³

18
- 84947904618
- Visualizing reference patterns for solving memory leaks in Java
- Springer-Verlag, Heidelberg; (Proceedings, European Conference on Object-Oriented Programming, Lisbon, Portugal)
- (1999) Lecture Notes in Computer Science , vol.1628 , pp. 116-134
- De Pauw, W.¹ Sevitsky, G.²

19
- 0025228221
- Interprocedural slicing using dependence graphs
- (January)
- (1990) ACM Transactions on Programming Languages and Systems , vol.12 , Issue.1 , pp. 26-60
- Horowitz, S.¹ Reps, T.² Binkley, D.³

20
- 5844287640
- Compiler specification and verification
- Springer-Verlag, Heidelberg
- (1981) Lecture Notes in Computer Science , vol.124
- Polak, W.¹

21
- 0001654941
- Notes on structured programming
- O.-J. Dahl, E.W. Dijkstra, and C.A.R. Hoare, Editors, Academic Press, London
- (1972) Structured Programming , pp. 1-82
- Dijkstra, E.W.¹

22
- 84969380845
- Foundations of software testing: Dependability theory
- (Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering)
- (1994) Software Engineering Notes , vol.19 , Issue.5 , pp. 128-139
- Hamlet, D.¹

23
- 0003533991
- McGraw-Hill, Inc., New York
- (1998) Software Reliability Engineering
- Musa, J.¹

24
- 0035058255
- In-process metrics for software testing
- (2001) IBM Systems Journal , vol.40 , Issue.1 , pp. 220-241
- Kan, S.H.¹ Parrish, J.² Manlove, D.³

25
- 0032206929
- Evaluating software development objectively
- (1998) IEEE Software , vol.15 , Issue.6 , pp. 66-74
- Bassin, K.¹ Kratschmer, T.² Santhanam, P.³

26
- 85037016034
- A software falsifier
- Proceedings, Eleventh IEEE International Symposium on Software Reliability Engineering, San Jose, CA (October 8-11, 2000) , pp. 174-185
- Brand, D.¹

27
- 0009771860
- IEEE Computer Society Press, Los Alamitos, CA
- (1996) Automating Specification-Based Software Testing
- Poston, R.M.¹

28
- 0030212784
- Principles and methods of testing finite state machines - A survey
- (1996) Proceedings of the IEEE , vol.84 , Issue.8 , pp. 1090-1123
- Lee, D.¹ Yannakakis, M.²

29
- 0034544814
- SALT - An integrated environment to automate generation of function tests for APIs
- Proceedings, Eleventh IEEE International Symposium on Software Reliability Engineering, San Jose, CA (October 8-11, 2000) , pp. 304-316
- Paradkar, A.¹

30
- 77956311778
- Toward a test-ready meta-model for use cases
- Proceedings, Workshop on Practical UML-Based Rigorous Development Methods, Toronto, Canada (October 1, 2001) , pp. 270-287
- Williams, C.¹

31
- 0033924669
- What is software testing? And why is it so hard?
- (January/February)
- (2000) IEEE Software , vol.17 , Issue.1 , pp. 70-79
- Whittaker, J.A.¹

32
- 0035551930
- Regression test selection for Java software
- Proceedings, ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, Tampa, FL (October 14-18, 2001)
- Harrold, M.J.¹ Jones, J.² Li, T.³ Liang, D.⁴ Orso, A.⁵ Pennings, M.⁶ Sinha, S.⁷ Spoon, S.⁸ Gujarathi, A.⁹

33
- 84860400978
- Yesterday, my program worked. Today, it does not. Why?
- Proceedings, 7th European Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on Foundations of Software Engineering, Toulouse, France (September 6-10, 1999) , pp. 253-267
- Zeller, A.¹

34
- 0032667939
- A study in coverage-driven test generation
- Proceedings, 36th Design Automation Conference, New Orleans, LA (June 21-25, 1999) , pp. 970-975
- Benjamin, M.¹ Geist, D.² Hartman, A.³ Mas, G.⁴ Smeets, R.⁵ Wolfsthal, Y.⁶

35
- 84966504116
- Performance testing of software systems
- Proceedings, First ACM SIGSOFT International Workshop on Software and Performance, Santa Fe, NM (October 12-16, 1998) , pp. 80-87
- Vokolos, F.I.¹ Weyuker, E.J.²

36
- 0026116649
- Replay and testing for concurrent programs
- (March)
- (1991) IEEE Software , vol.8 , Issue.2 , pp. 66-74
- Carver, R.H.¹ Tai, K.-C.²

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