University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 48 items
Thumbnail for Verification of Casper in the Coq Proof Assistant
Verification of Casper in the Coq Proof Assistant
Palmskog, Karl; Gligoric, Milos; Pena, Lucas; Moore, Brandon; Roşu, Grigore

Thumbnail for Regression Test Selection for Distributed Software Histories: Appendix
Regression Test Selection for Distributed Software Histories: Appendix
Gligoric, Milos; Majumdar, Rupak; Sharma, Rohan; Eloussi, Lamyaa; Marinov, Darko

Thumbnail for Reducing the costs of bounded-exhaustive testing
Reducing the costs of bounded-exhaustive testing
Bangalore Jagannath, Vilas Shekhar

Thumbnail for Drag-and-Drop Refactoring: Intuitive and Efficient Program Transformation
Drag-and-Drop Refactoring: Intuitive and Efficient Program Transformation
Lee, Yun Young; Chen, Nicholas; Johnson, Ralph E.

Thumbnail for Drag-and-Drop Refactoring: Intuitive Program Transformation
Drag-and-Drop Refactoring: Intuitive Program Transformation
Lee, Yun Young; Chen, Nicholas; Johnson, Ralph E.

Thumbnail for ReLooper: Refactoring for Loop Parallelism
ReLooper: Refactoring for Loop Parallelism
Dig, Danny; Radoi, Cosmin; Tarce, Mihai; Minea, Marius; Johnson, Ralph

Thumbnail for Use, Disuse, and Misuse of Automated Refactorings (Extended Version)
Use, Disuse, and Misuse of Automated Refactorings (Extended Version)
Vakilian, Mohsen; Chen, Nicholas; Negara, Stas; Rajkumar, Balaji Ambresh; Bailey, Brian P.; Johnson, Ralph E.

Thumbnail for ReAssert: Suggesting Repairs for Broken Unit Tests
ReAssert: Suggesting Repairs for Broken Unit Tests
Daniel, Brett; Jagannath, Vilas; Dig, Danny; Marinov, Darko