3 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Chris McMahon Stone, Sam L. Thomas, Mathy Vanhoef +3
In this paper, we propose a new approach to infer state machine models from protocol implementations. Our method, STATEINSPECTOR, learns protocol states by using novel program anal…