An empirical evaluation of P system testing techniques

Authors:
Raluca Lefticaru;Marian Gheorghe;Florentin Ipate
Affiliations:
Department of Computer Science, University of Pitesti, Pitesti, Romania 110040;Department of Computer Science, University of Pitesti, Pitesti, Romania 110040 and Department of Computer Science, University of Sheffield, Sheffield, UK S1 4DP;Department of Computer Science, University of Pitesti, Pitesti, Romania 110040
Venue:
Natural Computing: an international journal
Year:
2011

Citing 14
Cited 0

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
Computing with Membranes

Computing with Membranes
Is mutation an appropriate tool for testing experiments?

Proceedings of the 27th international conference on Software engineering
Mutation Testing implements Grammar-Based Testing

MUTATION '06 Proceedings of the Second Workshop on Mutation Analysis
The many facets of natural computing

Communications of the ACM
Testing Non-deterministic Stream X-machine Models and P systems

Electronic Notes in Theoretical Computer Science (ENTCS)
A P-Lingua Programming Environment for Membrane Computing

Membrane Computing
On Testing P Systems

Membrane Computing
Finite state based testing of P systems

Natural Computing: an international journal
The Oxford Handbook of Membrane Computing

The Oxford Handbook of Membrane Computing
Bounded sequence testing from non-deterministic finite state machines

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
An overview of p-lingua 2.0

WMC'09 Proceedings of the 10th international conference on Membrane Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents the existing techniques for P system testing and performs an empirical evaluation of their fault-detection efficiency. The comparison is performed using mutation testing and, based on the results obtained, some improved testing methodologies are proposed.