Now showing items 1-2 of 2

    • Icon

      Search Based Software Engineering in Membrane Computing  [Presentation]

      Turlea, Ana; Gheorghe, Marian; Ipate, Florentin (Escuela Técnica Superior de Ingeniería Informática, Universidad de Sevilla, 2019)
      This paper presents a testing approach for kernel P Systems (kP systems), based on test data generation for a given scenario. This method uses Genetic Algorithms to generate the input sets needed to trigger the given ...
    • Icon

      Testing Identifiable Kernel P Systems Using an X-machine Approach  [Presentation]

      Gheorghe, Marian; Ipate, Florentin; Lefticaru, Raluca; Turlea, Ana (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 ...