Simple record

Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems

dc.rights.licenseAttribution 4.0 International
dc.contributor.authorValle Entrena, Pablo
dc.contributor.authorArrieta Marcos, Aitor
dc.contributor.authorHan, Liping
dc.contributor.authorAli, Shaukat
dc.contributor.authorYue, Tao
dc.date.accessioned2026-04-20T07:21:06Z
dc.date.available2026-04-20T07:21:06Z
dc.date.issued2025
dc.identifier.issn1619-1374
dc.identifier.otherhttps://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=180411
dc.identifier.urihttps://hdl.handle.net/20.500.11984/14213
dc.format.extentp.
dc.language.isoeng
dc.publisherSpringer Nature
dc.rights© 2025
dc.rights.urihttps://creativecommons.org/licenses/by/4.0/
dc.titleDefining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems
dcterms.accessRightshttp://purl.org/coar/access_right/c_abf2
dcterms.sourceSoftware and Systems Modeling
local.contributor.groupIngeniería del software y sistemas
local.description.peerreviewedtrue
local.identifier.doihttps://doi.org/10.1007/S10270-025-01271-8
local.contributor.otherinstitutionhttps://ror.org/00vn06n10
local.contributor.otherinstitutionhttps://ror.org/00wvqgd19
oaire.format.mimetypeapplication/pdf
oaire.file$DSPACE\assetstore
oaire.resourceTypehttp://purl.org/coar/resource_type/c_6501
oaire.versionhttp://purl.org/coar/version/c_970fb48d4fbd8a85
dc.unesco.tesaurohttp://vocabularies.unesco.org/thesaurus/concept450
dc.unesco.clasificacionhttp://skos.um.es/unesco6/120317


Files in this item

Thumbnail
Name:
s10270-025-01271-8.pdf
Size:
3.936Mb
Format:
PDF
View/Open
Thumbnail
Name:
license_rdf
Size:
885bytes
Format:
Unknown
View/Open

This item appears in the following Collection(s)

Simple record

Attribution 4.0 International
Except where otherwise noted, this item's license is described as Attribution 4.0 International