4 citations · 9 across the 4 of their papers we have counts for
Showing 2019Show 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.SE2019★ 2 cited
BugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and Fixes
David A. Tomassi, Naji Dmeiri, Yichen Wang +5
Fault-detection, localization, and repair methods are vital to software quality; but it is difficult to evaluate their generality, applicability, and current effectiveness. Large,…