InSPECtor: Improving SLEIGH Specification Veracity via Proxy

Michael Chesser, Adelaide University; Paul Quirk, DSTG, Australia; Guy Farrelly and Douglas Tasman Cooke, Adelaide University; Surya Nepal, CSIRO; Damith C. Ranasinghe, Adelaide University