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
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)