Buscar
Mostrando ítems 1-1 de 1
Ponencia
Testing Identifiable Kernel P Systems Using an X-machine Approach
(Universidad de Sevilla, Escuela Técnica Superior de Ingeniería Informática, 2018)
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 ...