An empirical evaluation of P system testing techniques

DOI10.1007/S11047-010-9188-YMaRDI QIDQ537817zbMATH OpenOpenAlexFDO

Authors Raluca Lefticaru, Marian Gheorghe, 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)

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

Cites work

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

Cited in

(5)

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

Describes a project that uses

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)