Predicate calculus and program semantics
Predicate calculus and program semantics
The programmer's apprentice
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
A memory-based approach to recognizing programming plans
Communications of the ACM
Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Storing and Retrieving Software Components: A Refinement Based System
IEEE Transactions on Software Engineering
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Facilitating an automated approach to architecture-based software reuse
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
An Automated Approach for Supporting Software Reuse via Reverse Engineering
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Strongest postcondition semantics as the formal basis for reverse engineering
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Reverse Engineering is Reverse Forward Engineering
WCRE '97 Proceedings of the Fourth Working Conference on Reverse Engineering (WCRE '97)
An approach to architectural analysis of product lines
Proceedings of the 22nd 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
DySy: dynamic symbolic execution for invariant inference
Proceedings of the 30th international conference on Software engineering
Discovering likely method specifications
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Second-order constraints in dynamic invariant inference
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Hi-index | 0.00 |