Two-Dimensional Pinpointing: Debugging with Formal Specifications

IEEE Software

Volumn 8, Issue 1, 1991, Pages 74-84

  Luckham, David ^a   Sankar, Sriram ^a   Takahashi, Shuzo ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES - ADA;

ANNA SPECIFICATIONS; ANNALYZER; QUEUE MANAGER; TWO DIMENSIONAL PINPOINTING;

COMPUTER PROGRAMMING;

EID: 0025782108     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.62935     Document Type: Article

References (4)

1. S. Sankar, D.S. Rosenblum, and R.B. Neff, “An Implementation of Anna,” Ada in Use: Proc. Ada Inf'l Conf., Cambridge Univ. Press, Oxford, England, 1985, pp. 285–296.
2. R.A. DeMillo et al., Software Testing and Evaluation, Benjamin/Cummings, Menlo Park, Calif., 1987.
3. D. Bjomer and C. Jones, Formal Specification and Software Development, Prentice-Hall, Englewood Cliffs, N.J., 1982.
4. F.L. Bauer et al., “Formal Program Construction by Transformations: Computer-Aided, Intuition-Guided Programming,” IEEE Trans. Software Eng., Feb. 1989, pp. 165–180.