Back to Results
First PageMeta Content
Information / Communications protocol / Finite-state machine / Algorithm / Mealy machine / Function / Output / Model checking / Models of computation / Mathematics / Data


MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley
Add to Reading List

Open Document

File Size: 211,26 KB

Share Result on Facebook
UPDATE