Testing based on P systems - an overview

Authors:
Marian Gheorghe;Florentin Ipate
Affiliations:
Department of Computer Science, The University of Sheffield, Sheffield, UK and Department of Computer Science, Faculty of Mathematics and Computer Science, The University of Pitesti, Pitesti;Department of Computer Science, Faculty of Mathematics and Computer Science, The University of Pitesti, Pitesti
Venue:
CMC'10 Proceedings of the 11th international conference on Membrane computing
Year:
2010

Computing with membranes

Journal of Computer and System Sciences
Membrane Computing: An Introduction

Membrane Computing: An Introduction
A guide to membrane computing

Theoretical Computer Science - Natural computing
P Systems with replicated rewriting and stream X-machines (Eilenberg machines)

Fundamenta Informaticae - Membrane computing
Applications of Membrane Computing (Natural Computing Series)

Applications of Membrane Computing (Natural Computing Series)
Testing Non-deterministic Stream X-machine Models and P systems

Electronic Notes in Theoretical Computer Science (ENTCS)
On Testing P Systems

Membrane Computing
Finite state based testing of P systems

Natural Computing: an international journal
An integrated approach to P systems formal verification

CMC'10 Proceedings of the 11th international conference on Membrane computing
On the decidability of model-checking for P systems

Journal of Automata, Languages and Combinatorics

Hi-index	0.00

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