1 citations · 1 across the 2 of their papers we have counts for
3 papers
SafeStrings: Representing Strings as Structured Data
David Kelly, Mark Marron, David Clark +1
Strings are ubiquitous in code. Not all strings are created equal, some contain structure that makes them incompatible with other strings. CSS units are an obvious example. Worse,…
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…
McFly: Time-Travel Debugging for the Web
John Vilk, Emery D. Berger, James Mickens +1
Time-traveling debuggers offer the promise of simplifying debugging by letting developers freely step forwards and backwards through a program's execution. However, web application…