Search Result
The search expression was <related:sid.inpe.br/mtc-m19@80/2010/02.26.14.05.47-0:en:title:2:statecharts based test comparison:model based test case generation using statecharts z comparison combined approach:>.
1 reference found looking up in 2 out of 2 sites.
Search local date and time: 14/12/2019 15:40
SantiagoJúniorCrisVija:2010:CoCoAp
id 8JMKD3MGP7W/373F9JP    Report    restricted access    (1.00)    -m-
Santiago Júnior, V. A.; Cristiá, M. & Vijaykumar, N. L. :2010:
Model-based test case generation using statecharts and z: a comparison and a combined approach
metadata (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Cover)
<sid.inpe.br/mtc-m19@80/2010/02.26.14.05> (2447 KiB) statistics | access | update
<mtc-m16d.sid.inpe.br>