Piecewise testability Plug-In

Z ApolloWiki
Verze z 10. 7. 2022, 12:05, kterou vytvořil Masopust (diskuse | příspěvky)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
Přejít na:navigace, hledání


Piecewise testability Plug-In

Piecewise testability Plug-In

Piecewise testability Plug-In

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.



Citováno z „https://apollo.inf.upol.cz/mediawiki/index.php?title=Piecewise_testability_Plug-In&oldid=3997“