Search-based testing in membrane computing

DOI10.1007/s41965-019-00027-wzbMath1469.68054OpenAlexW2993325268WikidataQ126646653 ScholiaQ126646653MaRDI QIDQ1983028

Savas Konur, Ana Ţurlea, Florentin Ipate, Marian Gheorghe

Publication date: 14 September 2021

Published in: Journal of Membrane Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s41965-019-00027-w

zbMATH Keywords

genetic algorithmsmembrane computingtest data generationkernel P-systemssearch-based testing

Mathematics Subject Classification ID

Evolutionary algorithms, genetic algorithms (computational aspects) (68W50) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Related Items (2)

A model learning based testing approach for kernel P systems ⋮ Time-free Solution to Independent Set Problem using P Systems with Active Membranes

Uses Software

• SPIN
• NuSMV

Cites Work

• Unnamed Item
• Unnamed Item
• An empirical evaluation of P system testing techniques
• Test generation from P systems using model checking
• Computing with membranes
• Testing based on identifiable P systems using cover automata and X-machines
• Testing identifiable kernel P systems using an X-machine approach
• Actor-like cP systems
• Kernel P systems: from modelling to verification and testing
• A survey on temporal logics for specifying and verifying real-time systems
• Finite state based testing of P systems
• An Integrated Model Checking Toolset for Kernel P Systems
• Testing Non-deterministic Stream X-machine Models and P systems
• Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
• Model Checking Kernel P Systems

This page was built for publication: Search-based testing in membrane computing