University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 122
Dept. of Computer Science 118
Graduate Dissertations and Theses at Illinois 90
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 90
Dissertations and Theses - Computer Science 79
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
concurrency 4
regression testing 4
static analysis 4
Algorithms 3
Software Testing 3
flaky tests 3
refactoring 3
software testing 3

Type of Resource

text 82
Thesis 18
image 1

↑ ↓

Showing 61–90 of 133 items

1
2
3 (current)
4
5

Thumbnail for Cache-based side channels: Modern attacks and defenses

Cache-based side channels: Modern attacks and defenses

Yan, Mengjia

Thumbnail for Code analysis and rewriting for data debloating and improved fuzz testing

Code analysis and rewriting for data debloating and improved fuzz testing

Niddodi, Chaitra Prasad • 2023

Thumbnail for Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

Efficient Explicit-State Model Checking for Programs with Dynamically Allocated Data

d'Amorim, Marcelo

Thumbnail for Determining flaky tests from test failures

Determining flaky tests from test failures

Eloussi, Lamyaa

Thumbnail for Optimizing whole programs for code size

Optimizing whole programs for code size

Bartell, Sean

Thumbnail for Automated Systematic Testing of Open Distributed Programs

Automated Systematic Testing of Open Distributed Programs

Sen, Koushik; Agha, Gul A.

Thumbnail for Predicting and Explaining Automatic Testing Tool Effectiveness

Predicting and Explaining Automatic Testing Tool Effectiveness

Daniel, Brett; Boshernitsan, Marat

Thumbnail for Symcretic testing of programs

Symcretic testing of programs

Dinges, Peter

Thumbnail for Reusing software tests for configuration testing: A case study of the Hadoop project

Reusing software tests for configuration testing: A case study of the Hadoop project

Ang, Ran

Thumbnail for LIFT: Integrating stakeholder voices into algorithmic team formation

LIFT: Integrating stakeholder voices into algorithmic team formation

Hastings, Emily Marie

Thumbnail for Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols

Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols

Sen, Koushik; Agha, Gul A.

Thumbnail for Efficient Testing of Actor Programs with Non-deterministic Behavior

Efficient Testing of Actor Programs with Non-deterministic Behavior

Tasharofi, Samira

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 Relyzer+: An open source tool for application-level soft error resiliency analysis

Relyzer+: An open source tool for application-level soft error resiliency analysis

Ahmed, Khalique

Thumbnail for Automated Decomposition of Build Targets (Extended Version)

Automated Decomposition of Build Targets (Extended Version)

Vakilian, Mohsen; Sauciuc, Raluca; Morgenthaler, J. David; Mirrokni, Vahab

Thumbnail for Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Sobeih, Ahmed A.

Thumbnail for Multiple-implementation testing of supervised learning software

Multiple-implementation testing of supervised learning software

Alebiosu, Oreoluwa

Thumbnail for Refactoring-aware Software Configuration Management

Refactoring-aware Software Configuration Management

Dig, Danny; Nguyen, Tien N.; Johnson, Ralph

Thumbnail for Automated Upgrading of Component-Based Applications

Automated Upgrading of Component-Based Applications

Dig, Danny

Thumbnail for Check-then-Act Misuse of Java Concurrent Collections

Check-then-Act Misuse of Java Concurrent Collections

Lin, Yu; Dig, Danny

Thumbnail for Verification of Simulation Models of Network Protocols Using State Space Exploration

Verification of Simulation Models of Network Protocols Using State Space Exploration

Sobeih, Ahmed Adel

Thumbnail for Automatic and Precise Dimensional Analysis

Automatic and Precise Dimensional Analysis

d'Amorim, Marcelo; Hills, Mark; Chen, Feng; Rosu, Grigore

Thumbnail for Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Verification Of Simulation Models Of Network Protocols Using State Space Exploration

Sobeih, Ahmed A.

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 Scalable Automated Methods for Dynamic Program Analysis

Scalable Automated Methods for Dynamic Program Analysis

Sen, Koushik

Thumbnail for Modern lightweight approach for design and implementation of workflow-based clinical guidance system

Modern lightweight approach for design and implementation of workflow-based clinical guidance system

Chen, Luting

Thumbnail for Practical static race detection for Java parallel loops

Practical static race detection for Java parallel loops

Radoi, Cosmin; Dig, Danny

Thumbnail for How do Developers Use Parallel Libraries?

How do Developers Use Parallel Libraries?

Okur, Semih; Dig, Danny

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

Thumbnail for Drag-and-Drop Refactoring: Intuitive Program Transformation

Drag-and-Drop Refactoring: Intuitive Program Transformation

Lee, Yun Young; Chen, Nicholas; Johnson, Ralph E.

1
2
3 (current)
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 4 + 5?

© 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)