Test generation from P systems using model checking

Ipate, F., Gheorghe, M. and Lefticaru, R. (2010) Test generation from P systems using model checking. The Journal of Logic and Algebraic Programming, 79 (6). pp. 350-362. ISSN 1567-8326



  • Ipate, F.
  • Gheorghe, M.
  • Lefticaru, R.
Copyright, Publisher and Additional Information: © 2010 Elsevier. This is an author produced version of a paper subsequently published in The Journal of Logic and Algebraic Programming. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: P systems; Kripke structures; Model checking; Test generation
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Miss Anthea Tucker
Date Deposited: 10 Sep 2010 14:45
Last Modified: 08 Feb 2013 17:01
Published Version: http://dx.doi.org/10.1016/j.jlap.2010.03.007
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.jlap.2010.03.007


Filename: Gheorghe_11214.pdf

Share / Export