| 1. Identity statement | |
| Reference Type | Conference Paper (Conference Proceedings) |
| Site | mtc-m16.sid.inpe.br |
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identifier | 6qtX3pFwXQZsFDuKxG/BG4VS |
| Repository | sid.inpe.br/marciana/2004/04.07.08.23 (restricted access) |
| Last Update | 2004:04.12.03.00.00 (UTC) administrator |
| Metadata Repository | sid.inpe.br/marciana/2004/04.07.08.23.41 |
| Metadata Last Update | 2021:02.11.21.05.04 (UTC) administrator |
| Secondary Key | INPE-10237-PRE/5755 |
| Citation Key | Ambrosio:2003:SyTeCa |
| Title | Systematic test case generation for concurrent FSMs.  |
| Year | 2003 |
| Access Date | 2025, May 09 |
| Secondary Type | PRE CI |
| Number of Files | 1 |
| Size | 218 KiB |
| 2. Context | |
| Author | Ambrosio, Ana Maria |
| Resume Identifier | 8JMKD3MGP5W/3C9JGH7 |
| Group | DSS-INPE-MCT-BR |
| Editor | Socyety, IEEE Computer |
| Conference Name | International Conference on Dependable Systems and Networks. |
| Date | 2003 |
| Publisher | IEEE |
| Pages | 46-48 |
| Book Title | Proceedings |
| History (UTC) | 2021-02-11 21:05:04 :: administrator -> marciana :: 2003 |
| 3. Content and structure | |
| Is the master or a copy? | is the master |
| Content Stage | completed |
| Transferable | 1 |
| Content Type | External Contribution |
| Keywords | FSM code - based interface mustants |
| Abstract | This paper presents an approach for black-box test case derivation from a set of concurrent FSM, in which the product machine is not generated. The idea of independent and communicating transitions as well as an existing tool for FSM-based test case generation are the basis for the approach. The test case suite generated according to the approach is compared with the test suite generated from the product machine, for a simple example. Code-based interface mutants, used as fault model, support the comparison. The algorithm to recognize the communicating transitions is presented. Preliminary results pointed out simplicity and effectiveness over the fault model in the empirical evaluation. |
| Area | ETES |
| Arrangement | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Systematic test case... |
| doc Directory Content | access |
| source Directory Content | there are no files |
| agreement Directory Content | there are no files |
| 4. Conditions of access and use | |
| Language | en |
| Target File | DSN2003-thesisAmbrosio.pdf |
| User Group | administrator |
| Visibility | shown |
| Copy Holder | SID/SCD |
| Read Permission | deny from all and allow from 150.163 |
| 5. Allied materials | |
| Next Higher Units | 8JMKD3MGPCW/446B2HE |
| Host Collection | sid.inpe.br/banon/2003/08.15.17.40 |
| 6. Notes | |
| Empty Fields | affiliation archivingpolicy archivist callnumber conferencelocation copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition electronicmailaddress format isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
| 7. Description control | |
| e-Mail (login) | marciana |
| update | |