Testing Identifiable Kernel P Systems using an X-machine Approach


This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing approach and the concept of cover automaton. The testing methodology ensures that the implementation conforms the specifications, under certain conditions, such as the identifiability concept in the context of kernel P systems. Best Student Paper Award

Proceedings of the 19th International Conference on Membrane Computing (CMC19)