Concepedia

Michaël Marcozzi

MM

Statistics

Publications

6

Citations

140

H-Index

6

Active since

2007

Affiliations

University of Namur(Current)

Imperial College London

Michaël Marcozzi is an author at University of Namur specializing in engineering, program analysis, and software design.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware Engineering

Publications per year

2007–2019

6

Publications

6

Compiler fuzzing: how much does it matter?

Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson et al. · Proceedings of the ACM on Programming Languages · 2019 · 38 citations · Full text

Software Maintenance, Engineering, Compiler Technology +22

Deposition of polysiloxane‐like nanofilms onto an aluminium alloy by plasma polymerized hexamethyldisiloxane: characterization by XPS and contact angle measurements

Ammar Azioune, Michaël Marcozzi, V. Revello et al. · Surface and Interface Analysis · 2007 · 33 citations

Aluminium Nitride, Engineering, Vacuum Device +20

Time to clean your test objectives

Michaël Marcozzi, Sébastien Bardin, Nikolaï Kosmatov et al. · 2018 · 31 citations · Full text

Test input generation for database programs using relational constraints

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut · 2012 · 16 citations · Full text

Engineering, Imperdb Programs, Verification +20

Generic and Effective Specification of Structural Test Objectives

Michaël Marcozzi, Mickaël Delahaye, Sébastien Bardin et al. · 2017 · 12 citations

Engineering, Verification, Test Data Generation +24

Rows per page

1–5 of 6