Mutation Operators for Decision Table-Based Contracts Used in Software Testing
| dc.contributor.author | Khalilov, Abbas | |
| dc.contributor.author | Tuğlular, Tuğkan | |
| dc.contributor.author | Belli, Fevzi | |
| dc.coverage.doi | 10.1109/UYMS50627.2020.9247061 | |
| dc.date.accessioned | 2021-01-24T18:28:59Z | |
| dc.date.available | 2021-01-24T18:28:59Z | |
| dc.date.issued | 2020 | |
| dc.description.abstract | The Design by Contract technique allows developers to improve source code with contracts, and testing using contracts helps to identify faults. However, the source code of the program under test is not always available. With black-box testing, it is possible to generate contracts from specifications of the software. In this paper, we apply mutation analysis on a model of a given specifications, where mutants are initially gained by applying proposed in this paper certain mutation operators on corresponding model, and then mutated specifications are examined. © 2020 IEEE. | en_US |
| dc.identifier.doi | 10.1109/UYMS50627.2020.9247061 | en_US |
| dc.identifier.isbn | 978-172818541-5 | |
| dc.identifier.scopus | 2-s2.0-85097565478 | |
| dc.identifier.uri | https://doi.org/10.1109/UYMS50627.2020.9247061 | |
| dc.identifier.uri | https://hdl.handle.net/11147/9891 | |
| dc.language.iso | en | en_US |
| dc.publisher | Institute of Electrical and Electronics Engineers | en_US |
| dc.relation.ispartof | 2020 Turkish National Software Engineering Symposium (UYMS) | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.subject | Decision tables | en_US |
| dc.subject | Design by contract | en_US |
| dc.subject | Mutation testing | en_US |
| dc.subject | Ordered binary decision diagrams | en_US |
| dc.subject | Specification-based testing | en_US |
| dc.title | Mutation Operators for Decision Table-Based Contracts Used in Software Testing | en_US |
| dc.type | Conference Object | en_US |
| dspace.entity.type | Publication | |
| gdc.author.institutional | Tuğlular, Tuğkan | |
| gdc.author.institutional | Belli, Fevzi | |
| gdc.bip.impulseclass | C5 | |
| gdc.bip.influenceclass | C5 | |
| gdc.bip.popularityclass | C5 | |
| 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 | 6 | |
| gdc.description.publicationcategory | Konferans Öğesi - Ulusal - Kurum Öğretim Elemanı | en_US |
| gdc.description.scopusquality | N/A | |
| gdc.description.startpage | 1 | |
| gdc.description.wosquality | N/A | |
| gdc.identifier.openalex | W3103381253 | |
| gdc.identifier.wos | WOS:000680657300030 | |
| gdc.index.type | WoS | |
| gdc.index.type | Scopus | |
| gdc.oaire.diamondjournal | false | |
| gdc.oaire.impulse | 1.0 | |
| gdc.oaire.influence | 2.718418E-9 | |
| gdc.oaire.isgreen | false | |
| gdc.oaire.popularity | 2.62694E-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 | International | |
| gdc.openalex.fwci | 0.33649514 | |
| gdc.openalex.normalizedpercentile | 0.63 | |
| gdc.opencitations.count | 1 | |
| gdc.plumx.crossrefcites | 1 | |
| gdc.plumx.mendeley | 15 | |
| gdc.plumx.scopuscites | 1 | |
| gdc.scopus.citedcount | 1 | |
| gdc.wos.citedcount | 1 | |
| relation.isAuthorOfPublication.latestForDiscovery | 0f216971-d901-422e-9020-40f6636ca9ac | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 9af2b05f-28ac-4014-8abe-a4dfe192da5e |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Mutation_Operators.pdf
- Size:
- 472.8 KB
- Format:
- Adobe Portable Document Format