Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique
| dc.contributor.author | Ayav, Tolga | |
| dc.contributor.author | Belli, Fevzi | |
| dc.coverage.doi | 10.1109/QRS-C.2015.31 | |
| dc.date.accessioned | 2016-11-29T13:34:51Z | |
| dc.date.available | 2016-11-29T13:34:51Z | |
| dc.date.issued | 2015 | |
| dc.description.abstract | Cause-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.identifier.citation | Ayav, 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.31 | en_US |
| dc.identifier.doi | 10.1109/QRS-C.2015.31 | en_US |
| dc.identifier.doi | 10.1109/QRS-C.2015.31 | |
| dc.identifier.isbn | 9781467395984 | |
| dc.identifier.scopus | 2-s2.0-84963606485 | |
| dc.identifier.uri | http://doi.org/10.1109/QRS-C.2015.31 | |
| dc.identifier.uri | https://hdl.handle.net/11147/2547 | |
| dc.language.iso | en | en_US |
| dc.publisher | Institute of Electrical and Electronics Engineers Inc. | en_US |
| dc.relation.ispartof | IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015 | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.subject | Cause-effect graph | en_US |
| dc.subject | Software testing | en_US |
| dc.subject | Formalization | en_US |
| dc.subject | Boolean difference | en_US |
| dc.subject | MCDC analysis | en_US |
| dc.title | Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique | en_US |
| dc.type | Conference Object | en_US |
| dspace.entity.type | Publication | |
| gdc.author.institutional | Ayav, Tolga | |
| gdc.author.institutional | Belli, Fevzi | |
| gdc.author.yokid | 114453 | |
| gdc.bip.impulseclass | C5 | |
| gdc.bip.influenceclass | C5 | |
| gdc.bip.popularityclass | C4 | |
| gdc.coar.access | open access | |
| gdc.coar.type | text::conference output | |
| gdc.collaboration.industrial | false | |
| gdc.description.department | İzmir Institute of Technology. Computer Engineering | en_US |
| gdc.description.endpage | 143 | en_US |
| gdc.description.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US |
| gdc.description.scopusquality | N/A | |
| gdc.description.startpage | 138 | en_US |
| gdc.description.wosquality | N/A | |
| gdc.identifier.openalex | W1956089881 | |
| gdc.identifier.wos | WOS:000380444500017 | |
| gdc.index.type | WoS | |
| gdc.index.type | Scopus | |
| gdc.oaire.diamondjournal | false | |
| gdc.oaire.impulse | 1.0 | |
| gdc.oaire.influence | 2.928784E-9 | |
| gdc.oaire.isgreen | true | |
| gdc.oaire.keywords | Formalization | |
| gdc.oaire.keywords | MCDC analysis | |
| gdc.oaire.keywords | Cause-effect graph | |
| gdc.oaire.keywords | Boolean difference | |
| gdc.oaire.keywords | Software testing | |
| gdc.oaire.popularity | 4.7491167E-9 | |
| gdc.oaire.publicfunded | false | |
| gdc.oaire.sciencefields | 0202 electrical engineering, electronic engineering, information engineering | |
| gdc.oaire.sciencefields | 02 engineering and technology | |
| gdc.openalex.collaboration | National | |
| gdc.openalex.fwci | 0.85380384 | |
| gdc.openalex.normalizedpercentile | 0.78 | |
| gdc.opencitations.count | 5 | |
| gdc.plumx.mendeley | 8 | |
| gdc.plumx.scopuscites | 9 | |
| gdc.scopus.citedcount | 9 | |
| gdc.wos.citedcount | 3 | |
| local.message.claim | 2022-06-03T14:16:24.720+0300 | * |
| local.message.claim | |rp00375 | * |
| local.message.claim | |submit_approve | * |
| local.message.claim | |dc_contributor_author | * |
| local.message.claim | |None | * |
| relation.isAuthorOfPublication.latestForDiscovery | 812c2ad4-527f-4a21-8b84-f7497a71f3ce | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 9af2b05f-28ac-4014-8abe-a4dfe192da5e |