Learning concise models from long execution traces
Abstract models of system-level behaviour have applications in design exploration, analysis, testing and verification. We describe a new algorithm for automatically extracting useful models, as automata, from execution traces of a HW/SW system driven by software exercising a use-case of interest. Ou...
| Główni autorzy: | , , , |
|---|---|
| Format: | Conference item |
| Język: | English |
| Wydane: |
IEEE
2020
|