Search Results for "bugassist"

Found 1 presentation matching your search

Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults

A model checker can generate a lengthy and complicated trace of counterexamples for an erroneous pro...