| 1. Identity statement | |
| Reference Type | Conference Paper (Conference Proceedings) |
| Site | plutao.sid.inpe.br |
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identifier | J8LNKAN8RW/3D53QDU |
| Repository | dpi.inpe.br/plutao/2012/11.28.17.33.53 |
| Last Update | 2018:08.27.11.16.06 (UTC) marciana |
| Metadata Repository | dpi.inpe.br/plutao/2012/11.28.17.33.54 |
| Metadata Last Update | 2022:03.17.16.24.00 (UTC) administrator |
| Secondary Key | INPE--PRE/ |
| Label | lattes: 5039690360728170 1 SantiagoJúniorVijFerGuiCos:2012:AuMoTe |
| Citation Key | SantiagoJúniorVijFerGuiCos:2012:AuMoTe |
| Title | GTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines  |
| Format | DVD |
| Year | 2012 |
| Access Date | 2024, May 01 |
| Secondary Type | PRE CN |
| Number of Files | 1 |
| Size | 190 KiB |
| 2. Context | |
| Author | 1 Santiago Júnior, Valdivino Alexandre de 2 Vijaykumar, Nandamudi Lankalapalli 3 Ferreira, Érica 4 Guimarães, Danielle Souza 5 Costa, Raffael Carvalho da |
| Resume Identifier | 1 8JMKD3MGP5W/3C9JJB5 2 8JMKD3MGP5W/3C9JHTU |
| Group | 1 CEA-CEA-INPE-MCTI-GOV-BR 2 LAC-CTE-INPE-MCTI-GOV-BR |
| Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Author e-Mail Address | 1 valdivino@das.inpe.br |
| e-Mail Address | valdivino@das.inpe.br |
| Conference Name | Congresso Brasileiro de Software: Teoria e Prática, 3 (CBSoft). |
| Conference Location | Natal-RN |
| Date | 2012 |
| Pages | 25-30 |
| Book Title | Anais |
| Tertiary Type | Paper |
| 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 Stage | completed |
| Transferable | 1 |
| Content Type | External Contribution |
| Version Type | publisher |
| Area | CEA |
| Arrangement 1 | urlib.net > Produção anterior à 2021 > LABAC > GTSC: Automated Model-Based... |
| Arrangement 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > GTSC: Automated Model-Based... |
| doc Directory Content | access |
| source Directory Content | there are no files |
| agreement Directory Content | there are no files |
| 4. Conditions of access and use | |
| data URL | http://urlib.net/ibi/J8LNKAN8RW/3D53QDU |
| zipped data URL | http://urlib.net/zip/J8LNKAN8RW/3D53QDU |
| Language | en |
| Target File | santiago junior_gtsc.pdf |
| User Group | lattes marciana |
| Visibility | shown |
| Read Permission | allow from all |
| Update Permission | not transferred |
| 5. Allied materials | |
| Next Higher Units | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3EU2FR5 |
| Citing Item List | sid.inpe.br/bibdigital/2013/10.01.23.29 1 sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 |
| Host Collection | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notes | |
| Empty Fields | abstract 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 | |