Concepedia

Luca Borzacchiello

LB

Statistics

Publications

3

Citations

59

H-Index

3

Active since

2019

Affiliations

Sapienza University of Rome(Current)

Luca Borzacchiello is an author at Sapienza University of Rome specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSoftware TestingAutomated ReasoningSoftware EngineeringFuzzing

Publications per year

2019–2021

3

Publications

3

FUZZOLIC: Mixing fuzzing and concolic execution

Luca Borzacchiello, Emilio Coppa, Camil Demetrescu · Computers & Security · 2021 · 35 citations

Concolic Execution, Engineering, Program Analysis +9

Memory models in symbolic execution: key ideas and new thoughts

Luca Borzacchiello, Emilio Coppa, Daniele Cono D’Elia et al. · Software Testing Verification and Reliability · 2019 · 13 citations

Engineering, Computer Architecture, Memory Access +22

SymNav: Visually Assisting Symbolic Execution

Marco Angelini, Graziano Blasilli, Luca Borzacchiello et al. · 2019 · 11 citations · Full text

Software Maintenance, Engineering, Visual Programming Language +19

1–3 of 3