Open access

Verification Based Model Localizes Faults from Procedural Programs

Written By

Safeeullah Soomro

Published: October 1st, 2008

DOI: 10.5772/6334

Chapter metrics overview

1,987 Chapter Downloads

View Full Metrics

Written By

Safeeullah Soomro

Published: October 1st, 2008