Concepedia

Paul Dan Marinescu

PD

8

Publications

475

Citations

8

H-Index

2009

Active since

Affiliations

Imperial College London(Current)

École Polytechnique Fédérale de Lausanne

Paul Dan Marinescu is an author at Imperial College London specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal MethodsSoftware TestingSoftware EngineeringFuzzingVerification

Publications per year

2009–2017

8

Publications

8

KATCH: high-coverage testing of software patches

Paul Dan Marinescu, Cristian Cadar · 2013 · 141 citations

Software Maintenance, Engineering, Verification +22

LFI: A practical and general library-level fault injector

Paul Dan Marinescu, George Candea · 2009 · 89 citations · Full text

Software Maintenance, Engineering, Software Engineering +19

make test-zesti: a symbolic execution solution for improving regression testing

Paul Dan Marinescu, Cristian Cadar · International Conference on Software Engineering · 2012 · 69 citations

Engineering, Verification, Software Systems +24

Covrig: a framework for the analysis of code, test, and coverage evolution in real software

Paul Dan Marinescu, Petr Hošek, Cristian Cadar · 2014 · 54 citations

Software Maintenance, Engineering, Test Coverage +24

Efficient Testing of Recovery Code Using Fault Injection

Paul Dan Marinescu, George Candea · ACM Transactions on Computer Systems · 2011 · 53 citations · Full text

Software Maintenance, Engineering, Verification +21

Rows per page

1–5 of 8