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 6 months ago | cached | no comments

Github is for CAUT is here.

  1.