9 citations · 9 across the 1 of their papers we have counts for
2 papers
cs.SE2020
Legion: Best-First Concolic Testing
Dongge Liu, Gidon Ernst, Toby Murray +1
Concolic execution and fuzzing are two complementary coverage-based testing techniques. How to achieve the best of both remains an open challenge. To address this research problem,…
cs.LO2012★ 9 cited
A Formal Model of a Virtual Filesystem Switch
Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg +2
This work presents a formal model that is part of our effort to construct a verified file system for Flash memory. To modularize the verification we factor out generic aspects into…