1. 5
    Combining Symbolic Execution and Model Checking for Data Flow Testing (2015) ☶ pdf c formalmethods testing web.cs.ucdavis.edu
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments

Github is for CAUT is here.