Sangharatna Godboley

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Concolic testing techniques do not necessarily aim to achieve a specific MC/DC coverage. On the other hand, MC/DC is considered as a standard and a strong test coverage criterion. It is mandated for many categories of applications such as safety critical software. We present an automated code transformation technique that can be used as a front end to a(More)
  • 1