The architecture of an integrated symbolic simulator
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
LaSSIE—a knowledge-based software information system
ICSE '90 Proceedings of the 12th international conference on Software engineering
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Applications of feasible path analysis to program testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Understanding natural programs using proper decomposition
ICSE '91 Proceedings of the 13th international conference on Software engineering
A knowledge-based software information system
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |