Model-based test case generation using statecharts and z: a comparison and a combined approach
List of files deposited in: |
download at once all the files listed below within a .zip file |
Name | Last modified | Size |
:: publicacao1.pdf | 31/05/2010 09:12 | 2.4 MiB |
:: thisInformationItemHomePage.html | 19/04/2024 06:13 | 7.2 KiB |
2 displayed files 2 hidden files |