SCOPUS 정보 검색 플랫폼

The Journal of Systems and Software

Volumn 25, Issue 3, 1994, Pages 223-239

Using assertions in declarative and operational models for automated debugging

(3) Fritzson, Peter a Auguston, Mikhail b Shahmehri, Nahid a

a LINKÖPING UNIVERSITY (Sweden)

b NEW MEXICO STATE UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; PASCAL (PROGRAMMING LANGUAGE); PROGRAM DIAGNOSTICS; SOFTWARE ENGINEERING;

AUTOMATED DEBUGGING; BUG LOCALIZATION; FORMAN (PROGRAMMING LANGUAGES); GENERALIZED ALGORITHM DEBUGGING TECHNIQUE; PROCEDURES (COMPUTER PROGRAM); SEMANTICS;

PROGRAM DEBUGGING;

EID: 0028454904 PISSN: 01641212 EISSN: None Source Type: Journal
DOI: 10.1016/0164-1212(94)90032-9 Document Type: Article

Times cited : (13)

References (28)

1
- 84976692915
- Programming language RIGAL as a compiler writing tool
- (1990) ACM SIGPLAN Notices , vol.25 , pp. 61-69
- Auguston¹

2
- 0026402470
- FORMAN—Program formal annotation language
- (1991) Proceedings of the 5th Israel Conference on Computer Systems and Software Engineering, IEEE , pp. 149-154
- Auguston¹

3
- 84915983817
- PARFORMAN—An Assertion Language for Specifying Behaviour when Debugging Parallel Applications
- Dept. of Computer Science, Linköping University, Linköping, Sweden
- (1992) Technical Report LiTHIDA-R-92-16
- Auguston¹ Fritzson²

4
- 84976749912
- The Specification of Process Synchronization by Path Expressions
- Springer-Verlag
- (1974) Lecture Notes in Computer Science , vol.16 , pp. 89-102
- Campbell¹ Habermann²

5
- 19144365067
- The use of assertions in algorithmic debugging
- Tokyo
- (1988) Proceedings of the FGCS Conference , pp. 573-581
- Drabent¹ Nadjm-Tehrani² Maluszynski³

6
- 0021002318
- Symbolic Debugging through Incremental Compilation in an Integrated Environment
- (1983) J. Syst. Software , vol.3 , pp. 285-294
- Fritzson¹

7
- 84976848419
- Generalized algorithmic debugging and testing
- (1991) ACM SIGPLAN Notices , pp. 317-326
- Fritzson¹ Gyimothy² Kamkar³ Shahmehri⁴

8
- 84921154982
- ACM LOPLAS-Letters of Programming Languages and Systems
- No. 4
- (1993) Generalized algorithmic debugging and testing , vol.1
- Fritzson¹ Shahmehri² Kamkar³ Gyimothy⁴

9
- 84976740523
- Interprocedural dynamic slicing
- Lecture Notes in Computer Science, Springer-Verlag
- (1992) Proceedings of PLILP'92 Symposium on Programming Language Implementation and Logic Programming , vol.631
- Kamkar¹ Shahmehri² Fritzson³

10
- 0003632930
- Interprocedural Dynamic Slicing with Applications to Debugging and Testing
- Linköping University, Linköping, Sweden
- (1993) Ph.D. Thesis
- Kamkar¹

11
- 0024071180
- PELAS—Program Error-Locating Assistant System
- (1988) IEEE Trans. Software Eng. , vol.14 , pp. 1253-1260
- Korel¹

12
- 0008089543
- Dependency-Directed Localization of Software Bugs
- Artificial Intelligence Laboratory, MIT, Boston
- (1989) Technical Report AI-TR 1053
- Kuper¹

13
- 84976654356
- Concurrent algorithm debugging
- (1989) Proceedings of the Workshop on Parallel and Distributed Debugging—SIGPLAN No. 24, ACM , pp. 248-260
- Lichtenstein¹ Shapiro²

14
- 8744245456
- ANNA: A Language for Annotating ADA Programs
- Stanford University, Stanford, California
- (1984) Computer Systems Laboratory Technical Report 84-261
- Luckham¹ von Henke² Krieg-Brueckner³ Owe⁴

15
- 8744238456
- Stanford University
- (1990) An Introduction to Task Sequencing Language, TSL version 1.5
- Luckham¹ Bryan² Mann³ Meldal⁴ Helmbold⁵

16
- 0018985666
- Understanding and Debugging Programs
- (1980) Int. J. Man-Machine Stud. , vol.12 , pp. 189-202
- Lukey¹

17
- 84916535943
- A mechanism for efficient debugging of parallel programs
- Atlanta
- (1988) Proceedings of PLDI'88—The ACM SIGPLAN Conference on Programming Language Design and Implementation
- Miller¹ Choi²

18
- 84976653407
- Algorithmic debugging for lazy functional languages
- Lecture Notes in Computer Science, Springer-Verlag
- (1992) Proceedings of the PLILP'92 Symposium on Programming Language Implementation and Logic Programming , vol.631
- Nilsson¹ Fritzson²

19
- 8744266543
- Specification and static evaluation of sequencing constraints in software
- (1986) Proceedings of the Workshop on Software Testing , pp. 2-9
- Olender¹ Osterweil²

20
- 0024933540
- CESAR A static sequencing constraint analyser
- (1989) Proceedings of ACM SIGSOFT'89 Third Symposium on Software Testing, Analysis and Verification (TAV3) , pp. 66-74
- Olender¹ Osterweil²

21
- 0024033855
- The Category-Partition Method for Specifying and Generating Functional Tests
- (1988) Commun. ACM , vol.31 , pp. 676-686
- Ostrand¹ Balcer²

22
- 85034423543
- Rational debugging in logic programming
- (1986) Third Logic Programming Conference , pp. 203-210
- Pereira¹

23
- 0017983255
- Reliability Issues in Computing System Design
- (1978) Comp. Surv. , vol.10 , pp. 123-165
- Randell¹ Lee² Treleaven³

24
- 0023344638
- Knowledge-Based Program Debugging Systems
- (1987) IEEE Software , vol.4 , pp. 20-32
- Seviora¹

25
- 0025510289
- Semi-automatic bug localization in software maintenance
- (1990) Proceedings of the IEEE Conference on Software Maintenance, CSM'90
- Shahmehri¹ Kamkar² Fritzson³

26
- 0008367846
- Generalized Algorithmic Debugging
- Linköping University, Linköping, Sweden
- (1991) Ph.D. Thesis
- Shahmehri¹

27
- 0003870823
- MIT Press, Cambridge, Massachusetts
- (1982) Algorithmic Program Debugging
- Shapiro¹

28
- 0021457061
- Program Slicing
- (1984) IEEE Transactions on Software Engineering , vol.10 SE , Issue.4 , pp. 352-357
- Weiser¹

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