Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:atse:ay_2021:main [2021/01/22 10:24] mescal [Study Material] |
didattica:magistrale:atse:ay_2021:main [2021/02/11 15:42] (current) mescal [Study Material] |
||
|---|---|---|---|
| Line 71: | Line 71: | ||
| * Domain Partitioning {{ :didattica:magistrale:atse:ay_2021:partitioning.pdf |Slides}} | * Domain Partitioning {{ :didattica:magistrale:atse:ay_2021:partitioning.pdf |Slides}} | ||
| * Predicate Analysis {{{{ :didattica:magistrale:atse:ay_2021:predicateanalysis.pdf |Slides}} | * Predicate Analysis {{{{ :didattica:magistrale:atse:ay_2021:predicateanalysis.pdf |Slides}} | ||
| + | * Finite state models testing {{ :didattica:magistrale:atse:ay_2021:finitestatemodels.pdf |Slides}} | ||
| Line 92: | Line 93: | ||
| * {{https://unicam.webex.com/webappng/sites/unicam/recording/d7bfc5b818ee466699b8196d094a6bac|January 13th}} | * {{https://unicam.webex.com/webappng/sites/unicam/recording/d7bfc5b818ee466699b8196d094a6bac|January 13th}} | ||
| * {{https://unicam.webex.com/webappng/sites/unicam/recording/3dd452d7efdb4eb5bbcef7051c7a0dd1|January 21st}} | * {{https://unicam.webex.com/webappng/sites/unicam/recording/3dd452d7efdb4eb5bbcef7051c7a0dd1|January 21st}} | ||
| + | * {{https://unicam.webex.com/webappng/sites/unicam/recording/38b6cd9322eb429095257488ae78295d|January 27th}} | ||
| + | * {{https://unicam.webex.com/webappng/sites/unicam/recording/95f069bd276348d691c02c47f923daf2|January 29th}} | ||
| **Textbooks** | **Textbooks** | ||
