Show simple item record

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.isoengen_US
dc.publisherIEEEen_US
dc.relation.isversionof10.1109/QRS-C.2015.31en_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.typeconferenceObjecten_US
dc.contributor.authorIDTR114453en_US
dc.contributor.institutionauthorAyav, Tolga
dc.contributor.institutionauthorBelli, Fevzi
dc.relation.journalIEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015en_US
dc.contributor.departmentİYTE, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümüen_US
dc.identifier.startpage138en_US
dc.identifier.endpage143en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record