MC/DC Test Cases Generation Based on BDDs

Simple item page
dc.conference.titleDependable Software Engineering. Theories, Tools, and Applications (SETTA 2021)
dc.contributor.authorAhishakiye, Faustin
dc.contributor.authorRequeno Jarabo, José Ignacio
dc.contributor.authorKristensen, Lars Michael
dc.contributor.authorStolz, Volker
dc.date.accessioned2024-06-12T14:34:36Z
dc.date.available2024-06-12T14:34:36Z
dc.date.issued2021
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statuspub
dc.identifier.doi10.1007/978-3-030-91265-9_10
dc.identifier.officialurlhttps://doi.org/10.1007/978-3-030-91265-9_10
dc.identifier.urihttps://hdl.handle.net/20.500.14352/104871
dc.language.isoeng
dc.relation.projectIDinfo:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-093608-B-C31/ES/MODELADO FORMAL Y METODOS AVANZADOS DE TESTING. APLICACIONES A MEDICINA Y SISTEMAS COMPUTACIONALES../
dc.relation.projectIDFORTE-CM (grant nr. S2018/TCS-4314)
dc.relation.projectIDSFI Smart Ocean NFR Project 309612/F40
dc.relation.projectIDNFR Project COEMS Training Network 309527
dc.rightsAttribution 4.0 Internationalen
dc.rights.accessRightsrestricted access
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.subject.ucmInformática (Informática)
dc.subject.unesco1203.17 Informática
dc.titleMC/DC Test Cases Generation Based on BDDs
dc.typeconference paper
dspace.entity.typePublication
relation.isAuthorOfPublication12ebba1d-ac38-46cd-9300-7fde3dffb3a8
relation.isAuthorOfPublication.latestForDiscovery12ebba1d-ac38-46cd-9300-7fde3dffb3a8

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
setta21_arkiv.pdf
Size:
782.85 KB
Format:
Adobe Portable Document Format
Download

Collections

Artículos