An empirical evaluation of P system testing techniques

DOI10.1007/s11047-010-9188-yzbMath1213.68265OpenAlexW2068021742MaRDI QIDQ537817

Marian Gheorghe, Raluca Lefticaru, Florentin Ipate

Publication date: 23 May 2011

Published in: Natural Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11047-010-9188-y

zbMATH Keywords

coverage criteriaFSM-based testingmutation testingP system testing

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (2)

A model learning based testing approach for kernel P systems ⋮ Search-based testing in membrane computing

Uses Software

• P-Lingua

Cites Work

• Computing with membranes
• A guide to membrane computing.
• Finite state based testing of P systems
• Bounded Sequence Testing from Non-deterministic Finite State Machines
• Testing Non-deterministic Stream X-machine Models and P systems
• On Testing P Systems
• An Overview of P-Lingua 2.0

This page was built for publication: An empirical evaluation of P system testing techniques