Skip to main content
SpringerLink
Log in

Testing Based on P Systems – An Overview

  • Conference paper
Membrane Computing (CMC 2010)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6501))

Included in the following conference series:

  • 614 Accesses

Abstract

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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)

    MathSciNet  MATH  Google Scholar 

  2. Ciobanu, G., Pérez-Jiménez, M.J., Păun, G. (eds.): Applications of membrane computing. Natural Computing Series. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  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)

    MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Ipate, F., Gheorghe, M.: Testing non-deterministic stream X-machine models and P systems. Electronic Notes in Theoretical Computer Science 227, 113–226 (2008)

    Article  MATH  Google Scholar 

  7. Ipate, F., Gheorghe, M.: Finite state based testing of P systems. Natural Computing 8, 833–846 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Ipate, F., Gheorghe, M.: Mutation based testing of P systems. International Journal of Computers, Communications & Control 4, 253–262 (2009)

    Article  MATH  Google Scholar 

  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)

    Article  MathSciNet  MATH  Google Scholar 

  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. Pǎun, G.: Computing with membranes. Journal of Computer and System Sciences 61, 108–143 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  12. Pǎun, G.: Membrane computing. An introduction. Springer, Berlin (2002)

    Book  MATH  Google Scholar 

  13. Pǎun, G., Rozenberg, G.: A guide to membrane computing. Theoretical Computer Science 287, 73–100 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  14. Pǎun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford handbook of membrane computing. The Oxford University Press, Oxford (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, The University of Sheffield, Regent Court, Portobello Street, Sheffield, S1 4DP, UK

    Marian Gheorghe

  2. Department of Computer Science, Faculty of Mathematics and Computer Science, The University of Pitesti, Str Targu din Vale 1, 110040, Pitesti, Romania

    Marian Gheorghe & Florentin Ipate

Authors
  1. Marian Gheorghe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Florentin Ipate
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Sheffield, Regent Court, Portobello Street, S1 4DP, Sheffield, UK

    Marian Gheorghe

  2. Department of Bioinformatics, School of Biology and Pharmacy, Friedrich Schiller University, Ernst-Abbe-Platz 1–4, 07743, Jena, Germany

    Thomas Hinze

  3. Institute of Mathematics of the Romanian Academy, P.O. Box 1-764, 014700, Bucureşti, Romania

    Gheorghe Păun

  4. Leiden Center of Advanced Computer Science (LIACS), Universiteit Leiden, Niels Bohrweg 1, 2333, CA Leiden, The Netherlands

    Grzegorz Rozenberg

  5. Turku Centre for Computer Science (TUCS), Leminkäisenkatu 14, 20520, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gheorghe, M., Ipate, F. (2010). Testing Based on P Systems – An Overview. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. CMC 2010. Lecture Notes in Computer Science, vol 6501. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18123-8_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-18123-8_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-18122-1

  • Online ISBN: 978-3-642-18123-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation