A model learning based testing approach for kernel P systems

DOI10.1016/J.TCS.2023.113975MaRDI QIDQ6162072zbMATH OpenOpenAlexFDO

Authors Florentin Ipate, Ionuţ Mihai Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe

Publication date 15 June 2023

Published in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.tcs.2023.113975

zbMATH Keywords

verificationtestingP-systemslearning generalized state machines

Mathematics Subject Classification ID

Computational learning theory (68Q32) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• Kernel P systems: from modelling to verification and testing
• Kernel P systems modelling, testing and verification -- sorting case study
• Testing identifiable kernel P systems using an X-machine approach
• Search-based testing in membrane computing
• Model Checking Kernel P Systems

Cites work

• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (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 bibliometric analysis of membrane computing (1998--2019)
• A model learning based testing approach for spiking neural P systems
• An empirical evaluation of P system testing techniques
• An integrated model checking toolset for kernel P systems
• Bounded sequence testing from deterministic finite state machines
• Computing with membranes
• FORMAL VERIFICATION OF P SYSTEMS USING SPIN
• Finite state based testing of P systems
• Formal verification of P systems with active membranes through model checking
• Kernel P systems: from modelling to verification and testing
• Learning finite cover automata from queries
• Learning regular sets from queries and counterexamples
• Maude: specification and programming in rewriting logic
• Membrane Computing
• Membrane computing. An introduction.
• Minimal cover-automata for finite languages
• On Testing P Systems
• On the decidability of model-checking for P systems
• Search-based testing in membrane computing
• Test generation from P systems using model checking
• Testing Software Design Modeled by Finite-State Machines
• Testing based on identifiable P systems using cover automata and X-machines
• Testing identifiable kernel P systems using an X-machine approach
• Testing non-deterministic stream X-machine models and P systems
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(7)

• Kernel P systems modelling, testing and verification -- sorting case study
• Search-based testing in membrane computing
• Testing identifiable kernel P systems using an X-machine approach
• Kernel P systems: from modelling to verification and testing
• Modelling and validating an engineering application in kernel P systems
• A model learning based testing approach for spiking neural P systems
• On P colonies and virus machines

This page was built for publication: A model learning based testing approach for kernel P systems

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