Résultat de recherche

Résultat de recherche par an 2011 2012 2013 2014 2015 2023

• 29 Article dans les actes d'une conférence/un colloque
• 8 Article
• 6 Autre contribution
• 5 Chapitre
• 3 Afficher plus d’informations
  • 1 Avant-propos/Préface/post-scriptum
  • 1 Chapitre (revu par des pairs)
  • 1 Poster

Résultat de recherche par an

Résultat de recherche par an

Résultats de recherche

• 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).

  Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  Accès ouvert

  • Model Checking 100%
  • Formal Specification 100%