Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Denis A. Nicole
conf.researchr.org general profile
ESEC/FSE 2018 profile
ICSE 2019 profile
Registered user since Tue 16 Jun 2020
Name:
Denis A. Nicole
Affiliation:
University of Southampton
Contributions
ICSE 2019
Author of SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer within the Demonstrations-track
ESEC/FSE 2018
Author of Towards Counterexample-guided k-Induction for Fast Bug Detection within the New Ideas and Emerging Results-track
Share
x
Thu 1 Jun 03:26