Project details
Vývoj nástroje Symbiotic III
| Project code | MUNI/33/09/2016 CEP CORDIS MU WEB INET MU |
|---|---|
| Duration | 01.07.2016–30.11.2016 |
| Status | completed |
| Investor | Masaryk University |
| Programme | FI Dean's Programme |
| Faculty investigator | |
| Faculty team members |
Annotation
Annotation is available in Czech only.
Symbiotic je open-source nástroj pro hledání chyb v počítačových programech. Používá tři dobře známé metody: instrumentaci, prořezávání a symbolickou exekuci. Cílem projektu je rozšířit možnosti instrumentace a dále předdefinovat instrumentační skripty pro detekci vybraných typů běžných chyb.