University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Geographic Coverage

Abstract

Series/Report Name or Number

Type of Resource

Genre of Resource

Permalink

Full Text

Academic Unit

College of Engineering 122
Dept. of Computer Science 118
Graduate Dissertations and Theses at Illinois 102
Grainger College of Engineering 4
Siebel School of Computing and Data Science 4
Summary of Engineering Research (1957-2008) 3
Dept. of Electrical and Computer Engineering 1
Research publications from UIUC 1

Collection

Graduate Dissertations and Theses at Illinois 102
Dissertations and Theses - Computer Science 83
Research and Tech Reports - Computer Science 38
Summary of Engineering Research (2003-2008) 3
Conference Proceedings and Workshop Materials - Computer Science 1
Dissertations and Theses - Electrical and Computer Engineering 1
Research publications from the University of Illinois at Urbana-Champaign 1

Author(s)

Dig, Danny 8
Marinov, Darko 8
Lee, Yun Young 4
Agha, Gul A. 3
Chen, Nicholas 3
Daniel, Brett 3
Johnson, Ralph E. 3
Lu, Shan 3
Sobeih, Ahmed A. 3
d'Amorim, Marcelo 3

Keyword(s)

Computer Science 14
computer science 14
Software Testing 5
software testing 5
concurrency 4
regression testing 4
static analysis 4
Algorithms 3
flaky tests 3
refactoring 3

Type of Resource

text 82
Thesis 30
image 1

↑ ↓

Showing 91–120 of 145 items

2
3
4 (current)
5

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 Using Frameworks to Extend Frameworks

Using Frameworks to Extend Frameworks

Balaguer, Federico

Thumbnail for You want me to work with who? Stakeholder perceptions of automated team formation in project-based courses

You want me to work with who? Stakeholder perceptions of automated team formation in project-based courses

Jahanbakhsh, Farnaz

Thumbnail for Safe medical device interaction rules

Safe medical device interaction rules

Lee, Yun Young

Thumbnail for Practical static race detection for Java parallel loops

Practical static race detection for Java parallel loops

Radoi, Cosmin

Thumbnail for Open Problems and Challenges 2016

Open Problems and Challenges 2016

Rosu, Grigore

Thumbnail for Automated Upgrading of Component-Based Applications

Automated Upgrading of Component-Based Applications

Dig, Daniel

Thumbnail for Democratizing interaction mining

Democratizing interaction mining

Arsan, Deniz • 2024

Thumbnail for Architectural Support for Software Debugging

Architectural Support for Software Debugging

Zhou, Pin

Thumbnail for Addressing production run failures dynamically

Addressing production run failures dynamically

Tucek, Joseph

Thumbnail for Thread Contracts for Race-Freedom

Thread Contracts for Race-Freedom

Karmani, Rajesh Kumar; Madhusudan, P.; Moore, Brandon

Thumbnail for Incremental State Space Exploration in J-Sim

Incremental State Space Exploration in J-Sim

Sobeih, Ahmed A.; Lauterburg, Steven

Thumbnail for Architectural Support for Software Debugging

Architectural Support for Software Debugging

Zhou, Pin

Thumbnail for Enhancing trustworthiness in probabilistic programming: systematic approaches for robust and accurate inference

Enhancing trustworthiness in probabilistic programming: systematic approaches for robust and accurate inference

Huang, Zixin • 2024

Thumbnail for Guiding code analysis and generation with probabilistic constraints

Guiding code analysis and generation with probabilistic constraints

Wu, Zhengkai • 2023

Thumbnail for Randomness-aware testing of machine learning-based systems

Randomness-aware testing of machine learning-based systems

Dutta, Saikat • 2023

Thumbnail for You share, you leak: Practical side-channel attacks and defenses in modern clouds

You share, you leak: Practical side-channel attacks and defenses in modern clouds

Zhao, Zirui • 2025

Thumbnail for A novel approach to repair non-idempotent-outcome tests with an LLM-based agent

A novel approach to repair non-idempotent-outcome tests with an LLM-based agent

Ke, Kaiyao • 2025

Thumbnail for Static analysis of differentiable programs

Static analysis of differentiable programs

Laurel, Jacob Scott • 2025

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for Chasing the “tail at scale”: toward cloud-native architectures

Chasing the “tail at scale”: toward cloud-native architectures

Stojkovic, Jovan • 2025

Thumbnail for Exploring large language models as configuration validators: Techniques, challenges, and opportunities

Exploring large language models as configuration validators: Techniques, challenges, and opportunities

Lian, Xinyu • 2024

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for Statistical Debugging and Automated Program Failure Triage

Statistical Debugging and Automated Program Failure Triage

Liu, Chao

Thumbnail for Understanding, Detecting and Exposing Concurrency Bugs

Understanding, Detecting and Exposing Concurrency Bugs

Lu, Shan

Thumbnail for Leveraging Code Comments to Improve Software Reliability

Leveraging Code Comments to Improve Software Reliability

Tan, Lin

Thumbnail for Principled approaches for mitigating micro-architectural side-channel attacks

Principled approaches for mitigating micro-architectural side-channel attacks

Yu, Jiyong • 2023

Thumbnail for Mining specifications in a new world: using a test generator through a learning lens

Mining specifications in a new world: using a test generator through a learning lens

Astorga, Angello • 2025

Thumbnail for Open Problems and Challenges 2017

Open Problems and Challenges 2017

Roşu, Grigore

Thumbnail for Statistical Debugging and Automated Program Failure Triage

Statistical Debugging and Automated Program Failure Triage

Liu, Chao

2
3
4 (current)
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 3 + 0?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)