Inductive specification recovery: Understanding software by learning from example behaviors

This publication has 13 references indexed in Scilit:

• Grammatically biased learning: Learning logic programs using an explicit antecedent description language
  Artificial Intelligence, 1994
• Some lower bounds for the computational complexity of inductive logic programming
  Published by Springer Nature ,1993
• FOIL: A midterm report
  Published by Springer Nature ,1993
• Induction over the unexplained: Using overly-general domain theories to aid concept learning
  Machine Learning, 1993
• The utility of knowledge in inductive learning
  Machine Learning, 1992
• Creating specifications from code: Reverse-engineering techniques
  Journal of Software Maintenance: Research and Practice, 1991
• Learning logical definitions from relations
  Machine Learning, 1990
• Recognizing a program's design: a graph-parsing approach
  IEEE Software, 1990
• Design recovery for maintenance and reuse
  Computer, 1989
• Program understanding: Challenge for the 1990s
  IBM Systems Journal, 1989