Knowledge-Based Program Analysis

IEEE Software

Volumn 7, Issue 1, 1990, Pages 74-81

  Harandi, Mehdi T ^a   Ning, Jim Q ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE--EXPERT SYSTEMS; COMPUTER PROGRAMMING;

AUTOMATIC PROGRAM ANALYSIS; KNOWLEDGE BASED SYSTEMS; PAT; PROGRAM ANALYSIS TOOL; SOFTWARE MAINTENANCE;

COMPUTER SOFTWARE;

EID: 0025229148     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.43052     Document Type: Article

References (8)

1. M.T. Harandi and J.Q. Ning, “PAT: A Knowledge-Based Program-Analysis Tool,” Proc. Conf. Software Maintenance, CS Press, Los Alamitos, Calif., 1988, pp. 312–318.
2. J. Q. Ning, A Knowledge-Based Approach to Automatic Program Analysis, doctoral dissertation, University of Illinois at Urbana-Cham-paign, Urbana, III., 1989.
3. J.Q. Ning and M.T. Harandi, “An Experiment in Automating Code Analysis,” Proc. AAAI Symp. Artificial Intelligence and Software Engineering AAAI Press, Stanford, Calif, 1989, pp. 51–53.
4. W. Kozaczynski and J.Q. Ning, “SRE; A Knowledge-Based Environment for Large Scale Software Reengineering Activities,” Proc. Int’l Conf. Software Eng., CS Press, Los Alamitos, Calif, 1989, pp. 113–122.
5. J.M. Bieman and N.C. Debnath, “An Analysis of Software Structure Using a Generalized Program Graph,” Proc. Compsac, CS Press, Los Alamitos, Calif., 1985, pp. 254–259.
6. N. Wilde, R. Ogando, and E. Edge, “Specification for Prototype Dependency Analysis Tools,” Tech. Report SERC-TR-13-F, Software Engineering Research Center, University of Florida, Tallahassee, Fla., 1987.
7. S. Yau and P.C. Grabow, “A Model for Representing Programs Using Hierarchical Graphs,” IEEE Trans. Software Eng., Nov. 1981, pp. 556–574.
8. J. Doyle, “A Truth Maintenance System,” Artificial Intelligence, Vol. 12, 1979, pp. 231–272.