Login / Signup
Boris Cherry
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Static Analysis
Refinement Process
Symbolic Execution
Update Transactions
Top Venues
SANER
BENEVOL
</>
Publications
</>
Boris Cherry
,
Pol Benats
,
Maxime Gobert
,
Loup Meurice
,
Csaba Nagy
,
Anthony Cleve
Static Analysis of Database Accesses in MongoDB Applications.
SANER
(2022)
Boris Cherry
,
Xavier Devroey
,
Pouria Derakhshanfar
,
Benoît Vanderose
Crash Reproduction Difficulty, an Initial Assessment.
BENEVOL
(2020)