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
2019
ICSE
Author of SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer within the Demonstrations-track
2018
ESEC/FSE
Author of Towards Counterexample-guided k-Induction for Fast Bug Detection within the New Ideas and Emerging Results-track
Share
x
Fri 23 May 08:03
