Resultado da Pesquisa
A expressão de busca foi <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:>.
8 referências encontradas buscando em 8 dentre 8 sites.
Data e hora local de busca: 15/12/2019 07:43
SantiagoJúniorCrisVija:2010:CoCoAp
id 8JMKD3MGP7W/373F9JP    Relatório    acesso restrito    (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
metadados (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa)
<sid.inpe.br/mtc-m19@80/2010/02.26.14.05> (2447 KiB) estatísticas | acessar | atualizar
<mtc-m16d.sid.inpe.br>
SantiagoJúniorVijGuiAmaSou:2008:EnTeCa
id J8LNKAN8RW/34BEP7K    Artigo em Evento    acesso restrito    (0.37)    -m-
Santiago Júnior, V. A., et al. :2008:
An Environment for Test Case Generation from Statecharts-based and Finite State Machine-based Behavioral Models
metadados (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa)
<dpi.inpe.br/plutao@80/2008/12.04.11.55.29> (288 KiB) estatísticas | acessar | atualizar
Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual
<plutao.sid.inpe.br>
SantiagoJúniorVijFerGuiCos:2012:AuMoTe
id J8LNKAN8RW/3D53QDU    Artigo em Evento    (0.36)    -m-
Santiago Júnior, V. A., et al. :2012:
GTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines
metadados (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa)
<dpi.inpe.br/plutao/2012/11.28.17.33.53> (190 KiB) estatísticas | acessar | baixar | atualizar
Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual
<plutao.sid.inpe.br>
SantiagoVijGuiAmaFer:2008:EnAuTe
id J8LNKAN8RW/34DNU6S    Artigo em Evento    acesso restrito    (0.31)    -m-
Santiago, V., et al. :2008:
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models
metadados (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa)
<dpi.inpe.br/plutao@80/2008/12.18.15.55> (288 KiB) estatísticas | acessar | atualizar
Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual
<plutao.sid.inpe.br>
SantiagoJrVijaGuimAmar:2008:EnAuTe
id 8JMKD3MGP8W/34DA8KB    Artigo em Evento    (0.31)
Santiago Junior, V. A., et al. :2008:
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models
metadados (BibTeX | Refer | BibINPE | XML)
<sid.inpe.br/mtc-m18@80/2008/12.15.18.21> atualizar
Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual
<mtc-m16c.sid.inpe.br>
ArantesVijaSantGuim:2008:CoWeTo
id J8LNKAN8RW/34BEP7M    Artigo em Evento    (0.29)    -m-
Arantes, A. O., et al. :2008:
WEB-PerformCharts: A Collaborative Web-based tool for Test Case Generation from Statecharts
metadados (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa)
<dpi.inpe.br/plutao@80/2008/12.04.11.55.31> (391 KiB) estatísticas | acessar | baixar | atualizar
Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual
<plutao.sid.inpe.br>
Arantes:2008:WeTeCa
id 8JMKD3MGP8W/33F9LCL    Tese ou Dissertação    (0.26)    -m-
Arantes, A. O. :2008:
WEB-PerformCharts: a web-based test case generator from statecharts modeling
metadados (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | mtd2-br | Capa)
<sid.inpe.br/mtc-m18@80/2008/07.14.19.42> (31526 KiB) estatísticas | acessar | baixar | atualizar
<mtc-m16c.sid.inpe.br>
SantiagoJúniorSilv:2017:HiTrSp
id 8JMKD3MGP3W34P/3PUKS65    Artigo em Evento    (0.23)    -m-
Santiago Júnior, V. A. & Silva, F. E. C. :2017:
From statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases
metadados (BibTeX | Refer | BibINPE | XML | xrefer | oai_dc | Capa)
<sid.inpe.br/mtc-m21b/2017/11.08.14.47> (333 KiB) estatísticas | acessar | baixar | atualizar
Você já tem o seu material audiovisual? Clique para submete-lo > Material Audiovisual
<mtc-m21b.sid.inpe.br>