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 1–30 of 133 items

1 (current)
2
3
4
5

Thumbnail for Optimized Execution of Deterministic Blocks in Java PathFinder

Optimized Execution of Deterministic Blocks in Java PathFinder

d'Amorim, Marcelo; Sobeih, Ahmed A.; Marinov, Darko

Thumbnail for CUTE: A Concolic Unit Testing Engine for C

CUTE: A Concolic Unit Testing Engine for C

Sen, Koushik; Marinov, Darko; Agha, Gul A.

Thumbnail for Automated Testing of Refactoring Engines

Automated Testing of Refactoring Engines

Daniel, Brett; Dig, Danny; Garcia, Kely; Marinov, Darko

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 Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs

d'Amorim, Marcelo; Lauterburg, Steven; Marinov, Darko

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 Automated Detection of Refactorings in Evolving Components

Automated Detection of Refactorings in Evolving Components

Dig, Danny; Comertoglu, Can; Marinov, Darko; Johnson, Ralph

Thumbnail for Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties

Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties

Sobeih, Ahmed A.; d'Amorim, Marcelo; Viswanathan, Mahesh; Marinov, Darko; Hou, Jennifer C.

Thumbnail for Proactively detecting unreliable tests

Proactively detecting unreliable tests

Gyori, Alex

Thumbnail for Improved regression testing of multithreaded programs

Improved regression testing of multithreaded programs

Jagannath, Vilas

Thumbnail for Systematic testing for actor programs

Systematic testing for actor programs

Lauterburg, Steven T.

Thumbnail for Reducing the costs of bounded-exhaustive testing

Reducing the costs of bounded-exhaustive testing

Bangalore Jagannath, Vilas Shekhar

Thumbnail for Making Parallel Programming Easy: Research Contributions from Illinois

Making Parallel Programming Easy: Research Contributions from Illinois

Submitter: David Padua

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 Detecting, characterizing, and taming flaky tests

Detecting, characterizing, and taming flaky tests

Lam, Wing

Thumbnail for Understanding, detecting, and repairing performance bugs

Understanding, detecting, and repairing performance bugs

Nistor, Adrian

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 Exploring design decisions for mutation testing

Exploring design decisions for mutation testing

Hariri, Farah

Thumbnail for Evolution-aware runtime verification

Evolution-aware runtime verification

Legunsen, Owolabi

Thumbnail for Regression test selection: theory and practice

Regression test selection: theory and practice

Gligoric, Milos Zivko

Thumbnail for Evaluating machine-independent metrics for state-space exploration

Evaluating machine-independent metrics for state-space exploration

Kirn, Mathew

Thumbnail for Improving regression testing efficiency and reliability via test-suite transformations

Improving regression testing efficiency and reliability via test-suite transformations

Shi, August Wang

Thumbnail for Comparing module- and class-level regression test selection in continuous integration

Comparing module- and class-level regression test selection in continuous integration

Zhao, Peiyuan

Thumbnail for Guidelines for coverage-based comparisons of non-adequate test suites

Guidelines for coverage-based comparisons of non-adequate test suites

Sharma, Rohan

Thumbnail for Automated fixing of wrong assumptions on underdetermined specifications

Automated fixing of wrong assumptions on underdetermined specifications

Zhang, Peilun

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 Empirically revisiting and enhancing IR-based test-case prioritization

Empirically revisiting and enhancing IR-based test-case prioritization

Peng, Qianyang

Thumbnail for Reflection-aware static regression test selection

Reflection-aware static regression test selection

Hadzi-Tanovic, Milica

Thumbnail for Towards multi-dimensional integrated development environments for improved productivity

Towards multi-dimensional integrated development environments for improved productivity

Lee, Yun Young

1 (current)
2
3
4
5

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 6 + 8?

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