MAXIME CORDY

View Scopus Profile

MAXIME CORDY

PhD in Computer Science

Calculated based on number of publications stored in Pure and citations from Scopus
20112023

Research activity per year

Search results

  • 2023

    Towards Strengthening Formal Specifications with Mutation Model Checking

    Cordy, M., Lazreg, S., Legay, A. & Schobbens, P. Y., 30 Nov 2023, ESEC/FSE 2023: Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Chandra, S., Blincoe, K. & Tonella, P. (eds.). ACM Press, p. 2102-2106 5 p. (Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

    Open Access
Your message has successfully been sent.
Your message was not sent due to an error.