Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Davide Basile
conf.researchr.org general profile
ICSE 2020 profile
ICSE 2023 profile
ICSE 2024 profile
Registered user since Fri 24 Jan 2020
Name:
Davide Basile
Affiliation:
University of Florence
Contributions
2024
FormaliSE
Author of Time for Networks: Mutation Testing for Timed Automata Networks within the FormaliSE 2024-track
2023
FormaliSE
Author of Mutant Equivalence as Monotonicity in Parametric Timed Games within the FormaliSE 2023-track
2020
ICSE
Author of Comparing Formal Tools for System Design: a Judgment Study within the Technical Papers-track
Share
x
Thu 21 Nov 16:41