Can I read Software Model Checkers in Testing on EtoBox?

Software Model Checkers in Testing by ieeexploreprojects is a document available to read on EtoBox.

What is Software Model Checkers in Testing about?

This document describes a study comparing two software model checkers, Blast and CBMC, as unit testing tools for an industrial storage platform software called the unified storage platform (USP) for Samsung

Author

ieeexploreprojects

Language

EN