SSBSE 2023
Fri 8 Dec 2023
San Francisco, California, United States
co-located with
ESEC/FSE 2023
Toggle navigation
Attending
Venue: San Francisco Marriott Marquis
SSBSE Registration
Sponsorship
Program
SSBSE Program
Your Program
Fri 8 Dec
Tracks
SSBSE 2023
Research Papers
Hot off the Press
Keynote
RENE / NIER
Challenge Track
Organization
SSBSE 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Hot off the Press
RENE / NIER
Challenge Track
Contributors
People Index
Search
Series
Series
SSBSE 2024
SSBSE 2023
SSBSE 2022
SSBSE 2021
Sign in
Sign up
ESEC/FSE 2023
(
series
) /
SSBSE 2023
(
series
) /
Maxime Cordy
ESEC/FSE 2023 profile
conf.research.org general profile
APSEC 2023 profile
ASE 2021 profile
ASE 2023 profile
ASE 2024 profile
ECOOP and ISSTA 2021 profile
ESEC/FSE 2020 profile
ESEC/FSE 2021 profile
ESEC/FSE 2022 profile
ETAPS 2019 profile
FSE 2025 profile
ICSE 2019 profile
ICSE 2020 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
ICSE 2024 profile
ICSE 2025 profile
ICSME 2023 profile
ICST 2020 profile
ICST 2021 profile
ICST 2022 profile
ICST 2023 profile
ICST 2024 profile
ISSTA 2019 profile
ISSTA 2020 profile
ISSTA 2022 profile
PLDI 2021 profile
PLDI 2022 profile
‹Programming› 2020 profile
Registered user since Thu 31 Jan 2019
Name:
Maxime Cordy
Affiliation:
SnT, University of Luxembourg
Contributions
2023
ESEC/FSE
Towards Strengthening Formal Specifications with Mutation Model Checking
Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences
Share
ESEC/FSE 2023-profile
View general profile
x
Thu 21 Nov 23:23