Faculty

Institution

Unit

Venue

Darko Marinov

Professor

University of Illinois Urbana-Champaign

Affiliations

The Grainger College of Engineering

Siebel School of Computing and Data Science

Darko Marinov is currently serving as a Siebel School Of Computing And Data Science Professor at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Darko Marinov

University of Illinois Urbana-Champaign

Professor

You can click a keyword to filter the displayed items

computer science software analysis software engineering program analysis software testing formal methods computer engineering software maintenance formal verification verification programming languages test automation systems engineering static program analysis regression testing test evolution runtime verification automated reasoning testing technique test management system software data science logic in computer science mutation-based testing test data generation parallel computing model-based testing parallel programming symbolic execution computational testing regression test selection design automation static checking program checking source code analysis flaky tests high performance computer architecture quality engineering mutation testing statistical hypothesis test model checking test oracle code refactoring software performance testing test coverage system testing formal specification java pathfinder automated deduction distributed systems software verification knowledge-based systems automated software engineering automated repair combinatorial testing workflow automated testing networked system design continuous integration software evolution empirical software engineering research test framework test suite group process reliability engineering software re-engineering test-driven development java programs software development systematic testing source code coverage criteria test suites java api specifications delta execution c code unit testing formal technique system specification

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Evaluating Nondex for Modern Java Ecosystem. (2025)

Kaiyao KeDarko Marinov

software analysisreal-time javacomputer engineeringsoftware designsoftware engineeringstatic program analysismodern java ecosysteminformation technologyquality engineeringperformance portabilitycomputer science

FASTFLIP: Compositional Sdc Resiliency Analysis. (2025)

Keyur JoshiRahul SinghTommaso BassettoSarita AdveDarko MarinovSasa Misailovic

scalabilitysystems engineeringsoftware analysisdistributed systemscomputer engineeringfault tolerancecomputer architecturehigh performance computer architectureperformance portabilitynetworked system designresilient control systemsystem safety

Pytest-Ranking: A Regression Test Prioritization Tool for Python. (2025)

Runxiang ChengKaiyao KeDarko Marinov

learning to rankstatistical softwareregression testingranking algorithmsdata sciencesoftware testing

A Benchmark Suite and Performance Analysis of User-Space Provenance Collectors. (2024)

Samuel GraysonFaustino AguilarReed MilewiczDaniel S. KatzDarko Marinov

databasesdata-intensive computingdata managementdata integrationscientific datadistributed data storebenchmark suitedata scienceprovenance managementcomputer sciencedata provenanceprovenance analysis

CTEST4J: A Practical Configuration Testing Framework for Java. (2024)

Shuai WangXinyu LianQingyu LiDarko MarinovTianyin Xu

software analysisdistributed systemscomputer engineeringsoftware engineeringsoftware performance testingsystem testingprogram analysissoftware maintenancetest frameworksystem softwareprogramming languagessoftware testing

FASTFLIP: Compositional Error Injection Analysis. arXiv (Cornell University) (2024)

Joshi, KeyurSingh, RahulBassetto, TommasoAdve, SaritaMarinov, DarkoMisailovic, Sasa

software analysissymbolic executioncomputer engineeringsoftware engineeringstatic program analysisruntime verificationprogram analysissoftware maintenancesymbolic sdc propagationpresent fastflipempirical error injectioncomputer sciencesoftware testingsource code analysis

GLUETEST: Testing Code Translation via Language Interoperability. (2024)

Muhammad Salman AbidMrigank PawagiSugam AdhikariXuyan ChengRyed BadrMd WahiduzzamanVedant RathiRonghui QiChoiyin LiLu LiuRohit Sai NaiduLicheng LinQue LiuAsif Zubayer PalakMehzabin HaqueXinyu ChenDarko MarinovSaikat Dutta

software analysistest automationsoftware engineeringprogram analysislanguage testingformal methodslanguage interoperabilityintegration testingformal verificationprogramming languagescomputer sciencesoftware testing

Hierarchy-Aware Regression Test Prioritization. (2024)

Hao WangPu Luke YiJeremias ParladorioWing LamDarko MarinovTao Xie

test evolutionregression testingtest managementstatisticsmachine learning researchsoftware testing

Revisiting Test-Case Prioritization on Long-Running Test Suites. (2024)

Runxiang ChengShuai WangReyhaneh JabbarvandDarko Marinov

software analysistest-case prioritizationsoftware engineeringsoftware maintenanceprogram analysistest managementquality engineeringtest case designcomputer sciencesoftware testing

Automatic Reproduction of Workflows in the Snakemake Workflow Catalog and Nf-Core Registries. (2023)

Samuel GraysonDarko MarinovDaniel S. KatzReed Milewicz

systems engineeringsoftware analysissnakemake workflow catalogworkflow technologysoftware engineeringsoftware maintenanceworkflow executionautomatic reproductionworkflow management systemcomputer sciencecomputational experimentsoftware testingscientific workflow system

1
2
3
4
5
21
10 / page

Darko Marinov

Professor

University of Illinois Urbana-Champaign

Affiliations

The Grainger College of Engineering

Siebel School of Computing and Data Science

Darko Marinov is currently serving as a Siebel School Of Computing And Data Science Professor at University of Illinois Urbana-Champaign.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Darko Marinov

University of Illinois Urbana-Champaign

Professor

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Evaluating Nondex for Modern Java Ecosystem. (2025)

Kaiyao KeDarko Marinov

FASTFLIP: Compositional Sdc Resiliency Analysis. (2025)

Keyur JoshiRahul SinghTommaso BassettoSarita AdveDarko MarinovSasa Misailovic

Pytest-Ranking: A Regression Test Prioritization Tool for Python. (2025)

Runxiang ChengKaiyao KeDarko Marinov

learning to rankstatistical softwareregression testingranking algorithmsdata sciencesoftware testing

A Benchmark Suite and Performance Analysis of User-Space Provenance Collectors. (2024)

Samuel GraysonFaustino AguilarReed MilewiczDaniel S. KatzDarko Marinov

databasesdata-intensive computingdata managementdata integrationscientific datadistributed data storebenchmark suitedata scienceprovenance managementcomputer sciencedata provenanceprovenance analysis

CTEST4J: A Practical Configuration Testing Framework for Java. (2024)

Shuai WangXinyu LianQingyu LiDarko MarinovTianyin Xu

FASTFLIP: Compositional Error Injection Analysis. arXiv (Cornell University) (2024)

Joshi, KeyurSingh, RahulBassetto, TommasoAdve, SaritaMarinov, DarkoMisailovic, Sasa

GLUETEST: Testing Code Translation via Language Interoperability. (2024)

Hierarchy-Aware Regression Test Prioritization. (2024)

Hao WangPu Luke YiJeremias ParladorioWing LamDarko MarinovTao Xie

test evolutionregression testingtest managementstatisticsmachine learning researchsoftware testing

Revisiting Test-Case Prioritization on Long-Running Test Suites. (2024)

Runxiang ChengShuai WangReyhaneh JabbarvandDarko Marinov

software analysistest-case prioritizationsoftware engineeringsoftware maintenanceprogram analysistest managementquality engineeringtest case designcomputer sciencesoftware testing

Automatic Reproduction of Workflows in the Snakemake Workflow Catalog and Nf-Core Registries. (2023)

Samuel GraysonDarko MarinovDaniel S. KatzReed Milewicz

1
2
3
4
5
21
10 / page

Similar Faculty Members

Grigore Rosu

Institution

University of Illinois Urbana-Champaign

software engineering

formal verification

Lingming Zhang

Institution

University of Illinois Urbana-Champaign

quality engineering

automated software engineering

Gul A Agha

Institution

University of Illinois Urbana-Champaign

parallel computing

distributed system

David Padua

Institution

University of Illinois Urbana-Champaign

software engineering

parallel programming model

Josep Torrellas

Institution

University of Illinois Urbana-Champaign

manycore processor

high performance computer architecture

Marianne S Winslett

Institution

University of Illinois Urbana-Champaign

research data management

information management

Marc Snir

Institution

University of Illinois Urbana-Champaign

parallel computing

programming language

Matthew Dwyer

Institution

University of Virginia

computer science

software analysis

Sasa Misailovic

Institution

University of Illinois Urbana-Champaign

energy efficiency

software engineering

Laxmikant V Kale

Institution

University of Illinois Urbana-Champaign

parallel programming model

high performance computer architecture

Similar Faculty Members

Grigore Rosu

Institution

University of Illinois Urbana-Champaign

software engineering

formal verification

Lingming Zhang

Institution

University of Illinois Urbana-Champaign

quality engineering

automated software engineering

Gul A Agha

Institution

University of Illinois Urbana-Champaign

parallel computing

distributed system

David Padua

Institution

University of Illinois Urbana-Champaign

software engineering

parallel programming model

Josep Torrellas

Institution

University of Illinois Urbana-Champaign

manycore processor

high performance computer architecture

Marianne S Winslett

Institution

University of Illinois Urbana-Champaign

research data management

information management

Marc Snir

Institution

University of Illinois Urbana-Champaign

parallel computing

programming language

Matthew Dwyer

Institution

University of Virginia

computer science

software analysis

Sasa Misailovic

Institution

University of Illinois Urbana-Champaign

energy efficiency

software engineering

Laxmikant V Kale

Institution

University of Illinois Urbana-Champaign

parallel programming model

high performance computer architecture