Concepedia

Darko Marinov

DM

109

Publications

9.3K

Citations

52

H-Index

1999

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

The University of Texas at Austin

Massachusetts Institute of Technology

University of Illinois System

Darko Marinov is an author at University of Illinois Urbana-Champaign specializing in software testing, engineering, and software analysis.

Top concepts

EngineeringSoftware TestingSoftware AnalysisProgram AnalysisSoftware EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationSoftware Maintenance

Publications per year

1999–2022

109

Publications

109

Rows per page

1–5 of 109