An empirical evaluation of P system testing techniques

DOI10.1007/S11047-010-9188-YzbMATH Open1213.68265OpenAlexW2068021742MaRDI QIDQ537817FDOQ537817

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

Recommendations

• On Testing P Systems
• Finite state based testing of P systems
• Test generation from P systems using model checking
• Search-based testing in membrane computing
• From P systems to software systems by design patterns

zbMATH Keywords

coverage criteriaFSM-based testingmutation testingP system testing

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• Search-based testing in membrane computing
• Interface mutation test adequacy criterion: An empirical evaluation
• A model learning based testing approach for kernel P systems
• Application of mutation analysis to evaluation of program-testing quality

Uses Software

• P-Lingua

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q537817)