University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–19 of 19 items
Thumbnail for Improved regression testing of multithreaded programs
Improved regression testing of multithreaded programs
Jagannath, Vilas

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

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

Thumbnail for Evaluating machine-independent metrics for state-space exploration
Evaluating machine-independent metrics for state-space exploration
Kirn, Mathew

Thumbnail for Testing, runtime verification, and analysis of concurrent programs
Testing, runtime verification, and analysis of concurrent programs
Luo, Qingzhou

Thumbnail for Making runtime monitoring of parametric properties practical
Making runtime monitoring of parametric properties practical
Jin, Dongyun

Thumbnail for Understanding, detecting, and repairing performance bugs
Understanding, detecting, and repairing performance bugs
Nistor, Adrian

Thumbnail for Efficient execution of fine-grained actors on multicore processors
Efficient execution of fine-grained actors on multicore processors
Kumar, Rajesh

Thumbnail for @tComment: testing Javadoc comments to detect comment-code inconsistencies
@tComment: testing Javadoc comments to detect comment-code inconsistencies
Tan, Shin Hwei

Thumbnail for Towards a change-oriented programming environment
Towards a change-oriented programming environment
Negara, Stanislav

Thumbnail for Towards multi-dimensional integrated development environments for improved productivity
Towards multi-dimensional integrated development environments for improved productivity
Lee, Yun Young

Thumbnail for Making Parallel Programming Easy: Research Contributions from Illinois
Making Parallel Programming Easy: Research Contributions from Illinois
Submitter: David Padua

Thumbnail for Systematic testing for actor programs
Systematic testing for actor programs
Lauterburg, Steven T.

Thumbnail for Automated refactoring for Java concurrency
Automated refactoring for Java concurrency
Lin, Yu

Thumbnail for Regression test selection: theory and practice
Regression test selection: theory and practice
Gligoric, Milos Zivko

Thumbnail for Market-Based Coordination and Auditing Mechanisms for Self-Interested Multi-Robot Systems
Market-Based Coordination and Auditing Mechanisms for Self-Interested Multi-Robot Systems
Ham, MyungJoo

Thumbnail for A toolkit for constructing refactoring engines
A toolkit for constructing refactoring engines
Overbey, Jeffrey

Thumbnail for Towards energy-performance trade-off analysis of parallel applications
Towards energy-performance trade-off analysis of parallel applications
Korthikanti, Vijay Anand

Thumbnail for Less is sometimes more in the automation of software evolution tasks
Less is sometimes more in the automation of software evolution tasks
Vakilian, Mohsen