Since 1997, ICFEM provides a forum for both researchers and practitioners who are interested in developing practical formal methods for software engineering or applying existing formal techniques to improve software development process in practice systems.
20 Year ICFEM Most Influential Paper Award
Paul Black and William Majurski
November 24, 2018
For ICFEM's 20 Year Most Influential Paper Award Entitled, "Using Model Checking to Generate Tests From Specifications"
Created November 26, 2018, Updated November 26, 2018