Piecewise testability Plug-In

Eliška Foltasová
Thesis: Piecewise testability
Tool
Description: This tool implements three algorithms to verify piecewise testability. The tool is a plug-in for the C++ library libFAUDES.