SCOPUS 정보 검색 플랫폼

Software Testing, Verification and Reliability

Volumn 5, Issue 3, 1995, Pages 143-162

Using program slicing to simplify testing

(2) Harman, Mark a Danicic, Sebastian a

a LONDON METROPOLITAN UNIVERSITY (United Kingdom)

Author keywords

implicit computation; robustness; slicing; transformation

Indexed keywords

COMPUTABILITY AND DECIDABILITY; MATHEMATICAL TRANSFORMATIONS; PROGRAM DEBUGGING; PROGRAMMING THEORY; SOFTWARE ENGINEERING;

IMPLICIT COMPUTATION; PROGRAM SLICING; PROGRAM TRANSFORMATION;

COMPUTER SOFTWARE;

EID: 0029376295 PISSN: 09600833 EISSN: 10991689 Source Type: Journal
DOI: 10.1002/stvr.4370050303 Document Type: Article

Times cited : (73)

References (44)

1
- 0028115136
- ‘On slicing programs with jump statements,’ in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Orlando, Florida, U.S.A., pp.
- (1994) , pp. 302-312
- Agrawal, H.¹

2
- 84981570504
- June
- (1994) ACM SIGPLAN Notices , vol.29 , Issue.6

3
- 84981578184
- ‘Dynamic slicing in the presence of unconstrained pointers’, In Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4), Victoria, B. C., Canada, October 1991, ACM Press, New York, U.S.A., pp.,. Also appears as Purdue University Technical Report SERC‐TR‐93–P
- (1991) , pp. 60-73
- Agrawal, H.¹ DeMillo, R.A.² Spafford, E.H.³

4
- 0025448361
- ‘Dynamic program slicing’, in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, New York, pp.
- (1990) , pp. 246-256
- Agrawal, H.¹ Horgan, J.R.²

5
- 0004072686
- Addison‐Wesley, Reading, Massachusetts, U.S.A.
- (1986) Compilers: Principles, Techniques and Tools
- Aho, A.V.¹ Sethi, R.² Ullman, J.D.³

6
- 0010686569
- Slicing programs with arbitrary control‐flow
- Fritzson, P., Springer‐Verlag,. Appears as Springer Lecture Notes in Computer Science 749. Also available as University of Wisconsin‐Madison Technical Report (in extended form) TR‐1128, December 1992
- (1992) First Conference on Automated Algorithmic Debugging , pp. 206-222
- Ball, T.¹ Horwitz, S.²

7
- 0027308002
- ‘Program and interface slicing for reverse engineering’, in Proceedings of the Fifteenth International Conference on Software Engineering (ICSE‐15). Baltimore, Maryland, U.S.A., May 1993, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp.
- (1993) , pp. 509-518
- Beck, J.¹ Eichmann, D.²

8
- 0028481554
- Measuring functional cohesion
- (1994) IEEE Transactions on Software Engineering , vol.20 , Issue.8 , pp. 644-657
- Bieman, J.M.¹ Ott, L.M.²

9
- 84988034580
- Slicing concurrent programs—a graph‐theoretical approach
- Fritzson, P., Springer‐Verlag,. Appears as Springer Lecture Notes in Computer Science 749
- (1993) Proceedings of the First Conference on Automated Algorithmic Debugging , pp. 223-240
- Cheng, J.¹

10
- 0028463408
- Static slicing in the presence of goto statements
- (1994) IEEE Transactions on Software Engineering , vol.16 , Issue.4 , pp. 1097-1113
- Choi, J.¹ Ferrante, J.²

11
- 0004025173
- Academic Press, London, U. K.
- (1989) Computer Algebra: Systems and Algorithms for Algebraic Computation
- Davenport, J.H.¹ Siret, Y.² Tournier, E.³

12
- 84981582182
- ‘Practical fine‐grained static slicing of optimised code’, Technical Report MSR‐TR‐94–14, Microsoft Research, Redmond, Washington, U.S.A.
- (1994)
- Ernst, M.D.¹

13
- 0027610052
- Extensions to the C programming language for enhanced fault detection
- (1993) Software—Practice and Experience , vol.23 , Issue.6 , pp. 617-628
- Flater, D.W.¹ Yesha, Y.² Park, E.K.³

14
- 0026203186
- Using program slicing in software maintenance
- (1991) IEEE Transactions on Software Engineering , vol.17 , Issue.8 , pp. 751-761
- Gallagher, K.B.¹ Lyle, J.R.²

15
- 84981646136
- ‘Dynamic program slicing based on dependence graphs’, in Proceedings of the IEEE Conference on Software Maintenance, pp.
- (1991) , pp. 191-200
- Gopal, R.¹

16
- 84981629069
- ‘A framework for defining equivalence preserving program simplification and its application to program slicing’, Technical Report. University of North London, U. K. Available by anonymous ftp to ftp. unl. ac. uk/pub/text/M. Harman/papers/tecrepts.
- (1994)
- Harman, M.¹ Danicic, S.²

17
- 84981609772
- ‘A new approach to program slicing,’ in Proceedings of the Seventh International Quality Week, San Francisco, California, U.S.A., Paper 4–T‐4, pp.
- (1994) , pp. 1-14
- Harman, M.¹ Danicic, S.²

18
- 84981609779
- ‘Cohesion metrics,’ in Proceedings of the Eighth International Quality Week, San Francisco, California, U.S.A., Paper 3–T‐2, pp.
- (1995) , pp. 1-14
- Harman, M.¹ Danicic, S.² Sivagurunathan, B.³ Jones, B.⁴ Sivagurunathan, Y.⁵

19
- 84981607355
- ‘A parallel algorithm for static program slicing’, Technical Report, University of North London, U. K. Available by anonymous ftp to ftp. unl. ac. uk/pub/text/M. Harman/papers/tecrepts.
- (1995)
- Harman, M.¹ Danicic, S.² Sivagurunathan, Y.³

20
- 0024700474
- Integrating non‐interfering versions of programs
- (1989) ACM Transactions on Programming Languages and Systems , vol.11 , Issue.3 , pp. 345-387
- Horwitz, S.¹ Prins, J.² Reps, T.³

21
- 0026868788
- ‘The use of program dependence graphs in software engineering’, in Proceedings of the Fourteenth International Conference on Software Engineering (ICSE‐14), Melbourne, Australia, May 1992, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp.
- (1992) , pp. 392-411
- Horwitz, S.¹ Reps, T.²

22
- 84976844558
- Interprocedural slicing using dependence graphs
- Atlanta, Georgia, U.S.A., pp., SIGPLAN Notices, 35, 46.
- (1988) Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation , vol.23 , Issue.7 , pp. 25-46
- Horwitz, S.¹ Reps, T.² Binkley, D.³

23
- 85027094370
- ‘Program slicing for C—the problems in implementation’, in Proceedings of the IEEE Conference on Software Maintenance, Italy, pp.
- (1991) , pp. 182-190
- Jiang, J.¹ Zhou, X.² Robson, D.J.³

24
- 84981665471
- ‘Interprocedural dynamic slicing with applications to debugging and testing’, Ph. D. thesis, Department of Computer Science and Information Science, Linköping University, Sweden. Available as Linköping Studies in Science and Technology, Dissertations, Number 297.
- (1993)
- Kamkar, M.¹

25
- 84981640413
- ‘Interprocedural dynamic slicing’, in Proceedings of the Fourth Conference on Programming Language implementation and Logic Programming, pp.
- (1992) , pp. 380-384
- Kamkar, M.¹ Shahmehri, N.² Fritzson, P.³

26
- 0024089764
- Dynamic program slicing
- (1988) Information Processing Letters , vol.29 , Issue.3 , pp. 155-163
- Korel, B.¹ Laski, J.²

27
- 84981605688
- ‘Rule‐based approach to computing module cohesion’, in Proceedings of the Fifteenth International Conference on Software Engineering (ICSE‐15), Baltimore, Maryland, U.S.A., May 1993, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp.
- (1993) , pp. 34-44
- Lakhotia, A.¹

28
- 84981605692
- ‘An approach to eliminating COMMON blocks and deriving ADTs from Fortran programs’, Technical Report, University of
- (1993)
- Liu, L.¹ Ellis, R.² Westminster, U.K.³

29
- 84981670266
- ‘Slicing in the presence of pointer variables’, Technical Report SERC‐TR‐74–F, Computer Science and Information Services Department, University of Florida, Gainesville, Florida, U.S.A.
- (1994)
- Livadas, P.E.¹ Rosenstein, A.²

30
- 0023175546
- ‘Automatic program bug location by program slicing’, in Proceedings of the Second International Conference on Computers and Applications, Peking, People's Republic of China, pp.
- (1987) , pp. 877-882
- Lyle, J.R.¹ Weiser, M.²

31
- 85063799645
- Slice based metrics for estimating cohesion
- Baltimore, Maryland, U.S.A., May 1993, IEEE Computer Society Press, Los Alamitos, California, U.S.A.
- (1993) Proceedings of the First International Software Metrics Symposium , pp. 71-81
- Ott, L.M.¹ Thuss, J.J.²

32
- 84976707537
- The program dependence graph in software development environments
- (1984) ACM SIGPLAN Notices , vol.19 , Issue.5 , pp. 177-184
- Ottenstein, K.¹ Ottenstein, L.²

33
- 20144369518
- Program slicing
- (1988) Journal of Computer Science and Technology , vol.3 , Issue.1 , pp. 29-39
- Qi, L.¹ Fubo, Z.² Jiahua, Q.³

34
- 0029185391
- ‘A practical approach to programming with assertions’
- (1995) IEEE Transactions on Software Engineering , vol.21 , Issue.1 , pp. 19-31
- Rosenblum, D.S.¹

35
- 84981588410
- ‘Generalized algorithmic debugging’, Ph. D. thesis, Department of Computer Science and Information Science, Linköping University, Sweden. Available as Linköping Studies in Science and Technology, Dissertations, Number 260.
- (1991)
- Shahmehri, N.¹

36
- 0011137921
- Recoup‐Maintaining Fortran
- (1993) ACM SIGPLAN Fortran Forum , vol.12 , Issue.3 , pp. 26-32
- Simpson, D.¹ Valentine, S.H.² Mitchell, R.³ Liu, L.⁴ Ellis, R.⁵

37
- 0003652629
- 3rd Edn, MIT Press, Cambridge, Massachusetts, U.S.A.
- (1985) Denotational semantics: The Scott‐Strachey Approach to Programming Languge Theory
- Stoy, J.E.¹

38
- 84981606253
- ‘Generation of program analysis tools’, Ph. D. thesis, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands.
- (1995)
- Tip, F.¹

39
- 84981655259
- ‘A survey of program slicing techniques’, Journal of Programming Languages, to be published.
- (1995)
- Tip, F.¹

40
- 84981685298
- ‘The semantic approach to program slicing’, in Proceeding of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, Canada, pp., ACM SIGPLAN Notices, 26 (6), 107, 119
- (1991) , pp. 26-28
- Venkatesh, G.A.¹

41
- 84981629094
- ‘Program slices: formal, psychological, and practical investigations of an automatic program abstraction method’, Ph. D. thesis, University of Michigan, Ann Arbor, Michigan, U.S.A.
- (1979)
- Weiser, M.¹

42
- 85050273691
- ‘Program slicing’, in Proceedings of the Fifth International Conference on Software Engineering (ICSE‐5), San Diego, California, U.S.A., March 1981, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp.
- (1981) , pp. 439-449
- Weiser, M.¹

43
- 0021095647
- Reconstructing sequential behaviour from parallel behaviour projections
- (1983) Information Processing Letters , vol.17 , Issue.10 , pp. 129-135
- Weiser, M.¹

44
- 0021457061
- Program slicing
- (1984) IEEE Transactions on Software Engineering , vol.10 , Issue.4 , pp. 352-357
- Weiser, M.¹

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