Close

1. Identity statement
Reference TypeConference Paper (Conference Proceedings)
Siteplutao.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentifierJ8LNKAN8RW/3D53QDU
Repositorydpi.inpe.br/plutao/2012/11.28.17.33.53
Last Update2018:08.27.11.16.06 (UTC) marciana
Metadata Repositorydpi.inpe.br/plutao/2012/11.28.17.33.54
Metadata Last Update2022:03.17.16.24.00 (UTC) administrator
Secondary KeyINPE--PRE/
Labellattes: 5039690360728170 1 SantiagoJúniorVijFerGuiCos:2012:AuMoTe
Citation KeySantiagoJúniorVijFerGuiCos:2012:AuMoTe
TitleGTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines
FormatDVD
Year2012
Access Date2024, June 14
Secondary TypePRE CN
Number of Files1
Size190 KiB
2. Context
Author1 Santiago Júnior, Valdivino Alexandre de
2 Vijaykumar, Nandamudi Lankalapalli
3 Ferreira, Érica
4 Guimarães, Danielle Souza
5 Costa, Raffael Carvalho da
Resume Identifier1 8JMKD3MGP5W/3C9JJB5
2 8JMKD3MGP5W/3C9JHTU
Group1 CEA-CEA-INPE-MCTI-GOV-BR
2 LAC-CTE-INPE-MCTI-GOV-BR
Affiliation1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1 valdivino@das.inpe.br
e-Mail Addressvaldivino@das.inpe.br
Conference NameCongresso Brasileiro de Software: Teoria e Prática, 3 (CBSoft).
Conference LocationNatal-RN
Date2012
Pages25-30
Book TitleAnais
Tertiary TypePaper
History (UTC)2012-11-28 23:06:32 :: lattes -> marciana :: 2012
2013-01-08 18:39:31 :: marciana -> administrator :: 2012
2018-06-05 00:02:10 :: administrator -> marciana :: 2012
2018-08-27 11:16:06 :: marciana -> administrator :: 2012
2022-03-17 16:24:00 :: administrator -> marciana :: 2012
3. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
Content TypeExternal Contribution
Version Typepublisher
AreaCEA
Arrangement 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > GTSC: Automated Model-Based...
Arrangement 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > GTSC: Automated Model-Based...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Contentthere are no files
4. Conditions of access and use
data URLhttp://urlib.net/ibi/J8LNKAN8RW/3D53QDU
zipped data URLhttp://urlib.net/zip/J8LNKAN8RW/3D53QDU
Languageen
Target Filesantiago junior_gtsc.pdf
User Grouplattes
marciana
Visibilityshown
Read Permissionallow from all
Update Permissionnot transferred
5. Allied materials
Next Higher Units8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3EU2FR5
Citing Item Listsid.inpe.br/mtc-m21/2012/07.13.15.01.24 2
sid.inpe.br/bibdigital/2013/10.01.23.29 1
sid.inpe.br/mtc-m21/2012/07.13.14.56.50 1
Host Collectiondpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notes
Empty Fieldsabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn keywords lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume
7. Description control
e-Mail (login)marciana
update 


Close