2010
DOI: 10.1007/978-3-642-11467-0_5
View full text |Buy / Rent full text
|
Sign up to set email alerts
|

Abstract: Summary. In this paper it is surveyed the set of formal verification methods and testing approaches utilised for applications based on P systems.P systems (also called membrane systems) represent a class of parallel and distributed computing devices which are inspired by the structure and the functioning of living cells [11], [12]. The model has been used for theoretical investigations as well as a vehicle to represent different problems from various domains [13]. A rich set of software tools have been produce… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
5
0

Year Published

2014
2014
2015
2015

Publication Types

Select...
1
1

Relationship

1
1

Authors

Journals

citations
Cited by 2 publications
(5 citation statements)
references
References 19 publications
(10 reference statements)
0
5
0
Order By: Relevance
“…Other methods for testing P systems also exist, for example mutation-based testing [34]; some are inspired by finite state machine testing [31], others by X-machine testing [35]. Approaches combining verification and testing have also been investigated [36,37].…”
Section: P System Modelsmentioning
confidence: 99%
See 2 more Smart Citations
“…Other methods for testing P systems also exist, for example mutation-based testing [34]; some are inspired by finite state machine testing [31], others by X-machine testing [35]. Approaches combining verification and testing have also been investigated [36,37].…”
Section: P System Modelsmentioning
confidence: 99%
“…At any given time, each compartment will contain a mixture of biochemicals, and this mixture changes over time as a result of the coordinated exchange of biochemicals across membrane boundaries. This basic structure is captured by one of the best known and most used types of P system, the cell-like P system, using non-cooperative evolution rules and communication rules [31]. In the sequel, we call these models simply P systems.…”
Section: P System Modelsmentioning
confidence: 99%
See 1 more Smart Citation
“…At any given time each compartment will contain a mixture of biochemicals, and this mixture changes over time as a result of the coordinated exchange of biochemicals across membrane boundaries. This basic structure is captured by one of the best known and most utilised types of P system, the cell-like P system, using non-cooperative evolution rules and communication rules [GID10]. In the sequel we call these models simply P systems.…”
Section: Cell-like P Systemsmentioning
confidence: 99%
“…We now discuss, following [GI08], a testing strategy for P systems which is inspired by the testing principles developed for context-free grammars [Läm01], called rule-coverage. Other methods for testing P systems also exist, for example mutation-based testing [IG09a]; some are inspired by finite state machine testing [GID10], others by X-machine testing [IG09b]. Approaches combining verification and testing have also been investigated [GILD10, IGL10].…”
Section: Wherementioning
confidence: 99%