2.1k citations · 2.8k across the 18 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019
Are My Invariants Valid? A Learning Approach
Vincent J. Hellendoorn, Premkumar T. Devanbu, Oleksandr Polozov +1
Ensuring that a program operates correctly is a difficult task in large, complex systems. Enshrining invariants -- desired properties of correct execution -- in code or comments ca…
cs.SE2016
Learning Syntactic Program Transformations from Examples
Reudismam Rolim, Gustavo Soares, Loris D'Antoni +5
IDEs, such as Visual Studio, automate common transformations, such as Rename and Extract Method refactorings. However, extending these catalogs of transformations is complex and ti…