AutoISES: Automatically inferring security specifications and detecting violationsLin TanXiaolan Zhanget al.2008USENIX Security 2008
Towards extracting web API specifications from documentationJinqiu YangErik Witternet al.2018MSR/ICSE 2018