ArticlePloS one2017

A model-guided symbolic execution approach for network protocol implementations and vulnerability detection.

Shameng Wen et al.PubMed ↗Full text ↗Publisher ↗

No numbers read from the abstract.