Analysing refactoring dependencies using graph transformation

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Formal Specification, Engineering, Automated Reasoning +15

A survey of software refactoring

Tom Mens, Tom Tourwé · IEEE Transactions on Software Engineering · 2004 · 1.2K citations

Software Maintenance, Software Development Practice, Engineering +18

On "Software engineering"

E. N. Miya · ACM SIGSOFT Software Engineering Notes · 1985 · 1.1K citations · Full text

Software Maintenance, Empirical Software Engineering Research, Engineering +7

A state-of-the-art survey on software merging

Tom Mens · IEEE Transactions on Software Engineering · 2002 · 524 citations

Software Maintenance, Engineering, State-of-the-art Survey +18

Java quality assurance by detecting code smells

Eva van Emden, Leon Moonen · 2003 · 377 citations

Software Maintenance, Engineering, Verification +16