Test generation from P systems using model checking

DOI10.1016/J.JLAP.2010.03.007MaRDI QIDQ987969zbMATH OpenOpenAlexFDO

Authors Florentin Ipate, Marian Gheorghe, Raluca Lefticaru

Publication date 24 August 2010

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2010.03.007

zbMATH Keywords

model checkingP systemstest generationKripke structures

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2102699
• Formal Verification and Testing Based on P Systems
• Model Checking Using Generalized Testing Automata
• Finite state based testing of P systems
• Test generation from integrated system models capturing state-based and MSC-based notations
• Towards deriving test sequences by model checking

Cites work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• scientific article; zbMATH DE number 1200754 (Why is no real title available?)
• scientific article; zbMATH DE number 2080058 (Why is no real title available?)
• An overview of P-Lingua 2.0
• Computing with membranes
• Finite state based testing of P systems
• Interpolants and Symbolic Model Checking
• Membrane computing. An introduction.
• NuSMV: A new symbolic model checker
• On Testing P Systems
• On the decidability of model-checking for P systems
• Testing non-deterministic stream X-machine models and P systems
• The temporal semantics of concurrent programs

Cited in

(15)

• Towards a general methodology for formal verification on spiking neural P systems
• FORMAL VERIFICATION OF P SYSTEMS USING SPIN
• RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
• Search-based testing in membrane computing
• A model learning based testing approach for kernel P systems
• Formal verification of P systems with active membranes through model checking
• Test generation from recursive tiles systems
• 3-Col problem modelling using simple kernel P systems
• Formal verification of cP systems using PAT3 and ProB
• On Testing P Systems
• Finite state based testing of P systems
• An empirical evaluation of P system testing techniques
• Robust Test Generation and Coverage for Hybrid Systems
• Model Checking Using Generalized Testing Automata
• Formal verification of cP systems using Coq

Describes a project that uses

Uses Software

• NuSMV
• P-Lingua

This page was built for publication: Test generation from P systems using model checking

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