Show simple item record

dc.contributor.authorGheorghe, Marian*
dc.contributor.authorIpate, F.*
dc.contributor.authorKonur, Savas*
dc.date.accessioned2016-09-05T11:03:36Z
dc.date.available2016-09-05T11:03:36Z
dc.date.issued2016-12-01
dc.identifier.citationGheorghe M, Ipate F and Konur S (2016) Testing Based on Identifiable P Systems Using Cover Automata and X-Machines. Information Science. 372: 565-578.en_US
dc.identifier.urihttp://hdl.handle.net/10454/8905
dc.descriptionYesen_US
dc.description.abstractThis paper represents a significant advance on the issue of testing for implementations specified by P systems with transformation and communicating rules. Using the X-machine framework and the concept of cover automaton, it devises a testing approach for such systems, that, under well defined conditions, it ensures that the implementation conforms to the specification. It also investigates the issue of identifiability for P systems, that is an essential prerequisite for testing implementations based on such specifications and establishes a fundamental set of properties for identifiable P systems.en_US
dc.description.sponsorshipMarian Gheorghe and Savas Konur acknowledge the support from EPSRC (EP/I031812/1). Marian Gheorghe’s and Florentin Ipate’s work is partially supported by CNCS-UEFISCDI (PN-II-ID-PCE-2011-3-0688).en_US
dc.language.isoenen_US
dc.relation.isreferencedbyhttp://dx.doi.org/10.1016/j.ins.2016.08.028en_US
dc.rights© 2016 Elsevier, Inc. Reproduced in accordance with the publisher's self-archiving policy. This manuscript version is made available under the CC-BY-NC-ND 4.0 license (http://creativecommons.org/licenses/by-nc-nd/4.0/)en_US
dc.subjectP systems; X-machines; Cover automata; Testingen_US
dc.titleTesting Based on Identifiable P Systems Using Cover Automata and X-Machinesen_US
dc.status.refereedYesen_US
dc.date.Accepted2016-08-11
dc.date.application2016-08-20
dc.typeArticleen_US
dc.type.versionAccepted manuscripten_US
refterms.dateFOA2017-08-21T00:00:00Z


Item file(s)

Thumbnail
Name:
gheorghe_et_al_2016.pdf
Size:
479.9Kb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record