Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2547
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAyav, Tolga-
dc.contributor.authorBelli, Fevzi-
dc.date.accessioned2016-11-29T13:34:51Z-
dc.date.available2016-11-29T13:34:51Z-
dc.date.issued2015-11-
dc.identifier.citationAyav, T., and Belli, F. (2015, August 3-5). Boolean differentiation for formalizing myers' cause-effect graph testing technique. Paper presented at the IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015. doi:10.1109/QRS-C.2015.31en_US
dc.identifier.isbn9781467395984-
dc.identifier.urihttp://doi.org/10.1109/QRS-C.2015.31-
dc.identifier.urihttp://hdl.handle.net/11147/2547-
dc.description.abstractCause-Effect Graph Testing is a popular technique used for almost four decades. Based on Boolean algebra, this technique assists deriving test cases from a given specification informally written in a natural language. The present paper suggests Boolean differentiation for formalizing this technique. The new approach is applied to an example, borrowed from G. Myers, for demonstrating and analyzing its features. Evaluations show that the new approach outperforms Myers' approach in terms of the detected faults per test cases.en_US
dc.language.isoenen_US
dc.publisherInstitute of Electrical and Electronics Engineers Inc.en_US
dc.relation.ispartofIEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectCause-effect graphen_US
dc.subjectSoftware testingen_US
dc.subjectFormalizationen_US
dc.subjectBoolean differenceen_US
dc.subjectMCDC analysisen_US
dc.titleBoolean differentiation for formalizing myers' cause-effect graph testing techniqueen_US
dc.typeConference Objecten_US
dc.authoridTR114453en_US
dc.institutionauthorAyav, Tolga-
dc.institutionauthorBelli, Fevzi-
dc.departmentİzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.startpage138en_US
dc.identifier.endpage143en_US
dc.identifier.wosWOS:000380444500017en_US
dc.identifier.scopus2-s2.0-84963606485en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1109/QRS-C.2015.31-
dc.relation.doi10.1109/QRS-C.2015.31en_US
dc.coverage.doi10.1109/QRS-C.2015.31en_US
local.message.claim2022-06-03T14:16:24.720+0300|||rp00375|||submit_approve|||dc_contributor_author|||None*
item.grantfulltextopen-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.openairetypeConference Object-
item.languageiso639-1en-
item.fulltextWith Fulltext-
crisitem.author.dept03.04. Department of Computer Engineering-
crisitem.author.dept03.04. Department of Computer Engineering-
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection
Files in This Item:
File Description SizeFormat 
2547.pdfConference Paper338.71 kBAdobe PDFThumbnail
View/Open
Show simple item record



CORE Recommender

SCOPUSTM   
Citations

9
checked on Apr 5, 2024

WEB OF SCIENCETM
Citations

3
checked on Mar 30, 2024

Page view(s)

262
checked on Apr 22, 2024

Download(s)

330
checked on Apr 22, 2024

Google ScholarTM

Check




Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.