Ponencia
Testing Identifiable Kernel P Systems Using an X-machine Approach
Autor/es | Gheorghe, Marian
Ipate, Florentin Lefticaru, Raluca Turlea, Ana |
Fecha de publicación | 2018 |
Fecha de depósito | 2019-03-07 |
Publicado en |
|
Resumen | This paper presents a testing approach for kernel P systems (kP systems),
based on the X-machine testing framework and the concept of cover automaton. The
testing methodology ensures that the implementation conforms the ... This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing framework and the concept of cover automaton. The testing methodology ensures that the implementation conforms the speci cations, under certain conditions, such as the identi ably concept in the context of kernel P systems. |
Cita | Gheorghe, M., Ipate, F., Lefticaru, R. y Turlea, A. (2018). Testing Identifiable Kernel P Systems Using an X-machine Approach. En BWMC 2018: Sixteenth Brainstorming Week on Membrane Computing (79-96), Sevilla, España: Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
79_Testing.pdf | 481.1Kb | [PDF] | Ver/ | |