Detecting interleaving

This publication has 21 references indexed in Scilit:

• Reverse engineering: resolving conflicts between expected and actual software designs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A reverse engineering method for identifying reusable abstract data types
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A formal approach to domain-oriented software design environments
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Automated support for encapsulating abstract data types
  Published by Association for Computing Machinery (ACM) ,1994
• Automated support for legacy code understanding
  Communications of the ACM, 1994
• A memory-based approach to recognizing programming plans
  Communications of the ACM, 1994
• Automated program understanding by concept recognition
  Automated Software Engineering, 1994
• Delocalized Plans and Program Comprehension
  IEEE Software, 1986
• System Structure Analysis: Clustering with Data Bindings
  IEEE Transactions on Software Engineering, 1985
• Towards a theory of the comprehension of computer programs
  International Journal of Man-Machine Studies, 1983