Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Axel Legay
conf.researchr.org general profile
ESEC/FSE 2020 profile
ICSE 2019 profile
ICSE 2020 profile
ISSTA 2019 profile
Not registered as user yet
Name:
Axel Legay
Contributions
FormaliSE 2020
PC Member in Program Committee within the FormaliSE 2020-track
ESEC/FSE 2020
Author of Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage within the Research Papers-track
FormaliSE 2019
Author of Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata within the FormaliSE 2019-track
SPIN 2019
Committee Member in Organizing Committee within the 26th International SPIN Symposium on Model Checking of Software-track
Share
x
Fri 18 Sep 23:14