Applications of inductive logic programming
ACM SIGART Bulletin
Applications of inductive logic programming
Communications of the ACM
Machine Learning - special issue on inductive logic programming
Dynamically discovering likely program invariants to support program evolution
Proceedings of the 21st international conference on Software engineering
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Automatic generation of program specifications
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Efficient incremental algorithms for dynamic detection of likely invariants
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
| Hi-index | 0.02 |