Making Formal Methods More Relevant to Software Engineering Students via Automated Test Generation
Gene L. Fisher, Corrigan Johnson · 2016
The use of formal methods in software engineering has been advocated for a long time, by a lot of people. Unfortunately, advocates of formal methods remain a distinct minority among software engineering educators, as well as industrial practitioners. A number of reasons have been cited for the lack of acceptance of formal methods. Popular among these reasons is that formal methods lack relevance and utility to the everyday work of software engineers.