777 B
777 B
- Presentazione contesto
- CHallenges
- Overview di CHESSIoT come soluzione alle challenges
- Dare qualche dettaglio sulla parte di fault analysis
- Introdurre poi il problema di dover definire le regole a mano avendo quindi casi di specifiche errate o anche under-specification
- Presentazione della proposta basata su testing come possibile soluzione
- Menzionare l'idea di avere un DSL per semplificare lo sviluppo dei test in maniera guidata dai fault di interessi
_1686744593115_0.pdf)
_1686744609331_0.pdf)