On Testing P Systems

DOI10.1007/978-3-540-95885-7_15MaRDI QIDQ5191169zbMATH OpenOpenAlexFDO

Authors Marian Gheorghe, Florentin Ipate

Publication date 28 July 2009

Published in Membrane Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-95885-7_15

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42)

Recommendations

• Finite state based testing of P systems
• An empirical evaluation of P system testing techniques
• Testing based on identifiable P systems using cover automata and X-machines
• Test generation from P systems using model checking
• Testing identifiable kernel P systems using an X-machine approach

Cites work

• scientific article; zbMATH DE number 1693521 (Why is no real title available?)
• scientific article; zbMATH DE number 1200754 (Why is no real title available?)
• scientific article; zbMATH DE number 1962773 (Why is no real title available?)
• scientific article; zbMATH DE number 1773088 (Why is no real title available?)
• scientific article; zbMATH DE number 1452982 (Why is no real title available?)
• A TIME AND SPACE EFFICIENT ALGORITHM FOR MINIMIZING COVER AUTOMATA FOR FINITE LANGUAGES
• A rewriting logic framework for operational semantics of membrane systems
• AN EFFICIENT ALGORITHM FOR CONSTRUCTING MINIMAL COVER AUTOMATA FOR FINITE LANGUAGES
• Complexity of automaton identification from given data
• Computing with membranes
• Incremental construction of minimal deterministic finite cover automata
• Membrane Computing
• Minimal cover-automata for finite languages

Cited in

(13)

• Kernel P systems modelling, testing and verification -- sorting case study
• Search-based testing in membrane computing
• An empirical evaluation of P system testing techniques
• Testing based on identifiable P systems using cover automata and X-machines
• Testing identifiable kernel P systems using an X-machine approach
• Kernel P systems: from modelling to verification and testing
• Test generation from P systems using model checking
• scientific article; zbMATH DE number 1890601 (Why is no real title available?)
• scientific article; zbMATH DE number 5663588 (Why is no real title available?)
• From P systems to software systems by design patterns
• Finite state based testing of P systems
• A model learning based testing approach for kernel P systems
• A model learning based testing approach for spiking neural P systems

This page was built for publication: On Testing P Systems

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