Model-based test case generation using statecharts and z: a comparison and a combined approach

List of files deposited in:

sid.inpe.br/mtc-m19@80/2010/02.26.14.05

download at once all the files listed below within a .zip file
Name Last modified Size
download
 :: publicacao1.pdf
31/05/2010 09:12 2.4 MiB
download
 :: thisInformationItemHomePage.html
19/04/2024 06:13 7.2 KiB 
2 displayed files
2 hidden files