1. Identity statement | |
Reference Type | Conference Paper (Conference Proceedings) |
Site | plutao.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP3W/3KN36J8 |
Repository | sid.inpe.br/plutao/2015/12.04.14.22.45 (restricted access) |
Last Update | 2015:12.11.16.02.00 (UTC) administrator |
Metadata Repository | sid.inpe.br/plutao/2015/12.04.14.22.46 |
Metadata Last Update | 2018:06.04.23.25.57 (UTC) administrator |
Label | lattes: 5039690360728170 2 ArantesSantVija:2015:PrTeOr |
Citation Key | ArantesSantVija:2015:PrTeOr |
Title | On proposing a test oracle generator based on static and dynamic source code analysis |
Format | DVD |
Year | 2015 |
Access Date | 2024, Apr. 25 |
Secondary Type | PRE CI |
Number of Files | 1 |
Size | 550 KiB |
|
2. Context | |
Author | 1 Arantes, Alessandro Oliveira 2 Santiago Júnior, Valdivino Alexandre de 3 Vijaykumar, Nandamudi Lankalapalli |
Resume Identifier | 1 2 8JMKD3MGP5W/3C9JJB5 3 8JMKD3MGP5W/3C9JHTU |
Group | 1 2 LAC-CTE-INPE-MCTI-GOV-BR 3 LAC-CTE-INPE-MCTI-GOV-BR |
Affiliation | 1 Instituto de Estudos Avançados (IEAv) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Author e-Mail Address | 1 aarantes@ieav.cta.br 2 vijay.nl@inpe.br 3 vijay.nl@inpe.br |
Conference Name | IEEE International Workshop on Model-Based Verification & Validation (MVV), IEEE International Conference on Software Quality, Reliability and Security, 5 (QRS) |
Conference Location | Vancouver, Canadá |
Date | 3-5 Aug. |
Book Title | Proceedings |
Tertiary Type | Paper |
History (UTC) | 2015-12-04 14:22:46 :: lattes -> administrator :: 2018-06-04 23:25:57 :: administrator -> simone :: 2015 |
|
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 |
Keywords | Test Oracle REACTOR Static Analysis Dynamic Analysis |
Abstract | Test oracles have become a welcoming approach as a very efficient support for testing any type of application. Since oracle's generation can be a very laborious work, several techniques have been studied in order to perform an automatic or semi-automatic generation. However, the construction of an automated test oracle is not a trivial task, especially in terms of the inference of verdicts and detecting defects. Therefore, this research proposes a strategy to construct an automated test oracle based only on a model generated from reverse engineering, and to detect defects by a combination of static and dynamic source code analysis with a minimum manual labor from testers. We have applied our methodology to some interesting case studies and compared with other tools in order to show usefulness of our approach. |
Area | COMP |
Arrangement | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > LABAC > On proposing a... |
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 | 1_arantes2.pdf |
User Group | lattes simone |
Reader Group | administrator simone |
Visibility | shown |
Read Permission | deny from all and allow from 150.163 |
Update Permission | not transferred |
|
5. Allied materials | |
Mirror Repository | urlib.net/www/2011/03.29.20.55 |
Next Higher Units | 8JMKD3MGPCW/3ESGTTP |
Citing Item List | 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 | |
Notes | Setores de Atividade: Pesquisa e desenvolvimento científico. |
Empty Fields | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor isbn issn lineage mark nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume |
|
7. Description control | |
e-Mail (login) | simone |
update | |
|