research
∙
03/18/2015
Exploration of the scalability of LocFaults
A model checker can produce a trace of counterexample, for an erroneous ...
research
∙
03/18/2015
Exploration of the scalability of LocFaults approach for error localization with While-loops programs
A model checker can produce a trace of counterexample, for an erroneous ...
research
∙
04/25/2014