Testing Based on P Systems – An Overview

  • Marian Gheorghe
  • Florentin Ipate
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6501)


In this extended abstract there are surveyed various testing approaches utilised so far for applications based on P systems.


Model Check Finite State Machine Coverage Criterion Kripke Structure Partial Computation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aguado, J., Bǎlǎnescu, T., Cowling, A., Gheorghe, M., Holcombe, M., Ipate, F.: P systems with replicated rewriting and stream X-machines (Eilenberg machines). Fundamenta Informaticae 49, 17–33 (2002)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Ciobanu, G., Pérez-Jiménez, M.J., Păun, G. (eds.): Applications of membrane computing. Natural Computing Series. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  3. 3.
    Dang, Z., Ibarra, O.H., Li, C., Xie, G.: Decidability of model-checking P systems. Journal of Automata, Languages and Combinatorics 11, 179–198 (2006)MathSciNetzbMATHGoogle Scholar
  4. 4.
    Gheorghe, M., Ipate, F.: On testing P systems. In: Corne, D.W., Frisco, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2008. LNCS, vol. 5391, pp. 204–216. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  5. 5.
    Gheorghe, M., Ipate, F., Lefticaru, R., Dragomir, C.: An integrated approach to P systems formal verification. In: Proceedings of the 11th Conference on Membrane Computing, Jena, Germany, pp. 225–238 (2010)Google Scholar
  6. 6.
    Ipate, F., Gheorghe, M.: Testing non-deterministic stream X-machine models and P systems. Electronic Notes in Theoretical Computer Science 227, 113–226 (2008)CrossRefzbMATHGoogle Scholar
  7. 7.
    Ipate, F., Gheorghe, M.: Finite state based testing of P systems. Natural Computing 8, 833–846 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Ipate, F., Gheorghe, M.: Mutation based testing of P systems. International Journal of Computers, Communications & Control 4, 253–262 (2009)CrossRefzbMATHGoogle Scholar
  9. 9.
    Ipate, F., Gheorghe, M., Lefticaru, R.: Test generation from P systems using model checking. Journal of Logic and Algebraic Programming 79, 350–362 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Ipate, F., Lefticaru, R., Tudose, C.: Formal verification of P systems using SPIN. International Journal of Foundations of Computer Science (2010) (submitted)Google Scholar
  11. 11.
    Pǎun, G.: Computing with membranes. Journal of Computer and System Sciences 61, 108–143 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Pǎun, G.: Membrane computing. An introduction. Springer, Berlin (2002)CrossRefzbMATHGoogle Scholar
  13. 13.
    Pǎun, G., Rozenberg, G.: A guide to membrane computing. Theoretical Computer Science 287, 73–100 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Pǎun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford handbook of membrane computing. The Oxford University Press, Oxford (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Marian Gheorghe
    • 1
    • 2
  • Florentin Ipate
    • 2
  1. 1.Department of Computer ScienceThe University of SheffieldSheffieldUK
  2. 2.Department of Computer Science, Faculty of Mathematics and Computer ScienceThe University of PitestiPitestiRomania

Personalised recommendations