Search-based testing in membrane computing

The P systems website. http://ppage.psystems.eu. Accessed 12 May 2018. Păun, Gh. (1998). Computing with membranes. Tech. rep., Turku Centre for Computer Science. Păun, Gh. (2000). Computing with membranes. Journal of Computer and System Sciences, 61(1), 108–143. https://doi.org/10.1006/jcss.1999.1693. Gheorghe, M., Ipate, F., Dragomir, C., Mierlă, L., Valencia-Cabrera, L., García-Quismondo, M., & Pérez-Jiménez, M.J. (2013). Kernel P Systems - Version I. Eleventh Brainstorming Week on Membrane Computing (11BWMC), pp. 97–124. Gheorghe, M., Ceterchi, R., Ipate, F., Konur, S., & Lefticaru, R. (2018). Kernel P systems: from modelling to verification and testing. Theoretical Computer Science 724, 45–60. http://hdl.handle.net/10454/11720. Blakes, J., Twycross, J., Konur, S., Romero-Campero, F.J., Krasnogor, N., & Gheorghe, M. (2014). Infobiotics workbench: A P systems based tool for systems and synthetic biology. In Applications of membrane computing in systems and synthetic biology, emergence, complexity and computation, vol. 7, pp. 1–41. Springer International Publishing. Sanassy, D., Fellermann, H., Krasnogor, N., Konur, S., Mierlă, L., Gheorghe, M., Ladroue, C., & Kalvala, S. (2014). Modelling and stochastic simulation of synthetic biological boolean gates. In 2014 IEEE International Conference on High Performance Computing and Communications, HPCC 2014, Paris, France, pp. 404–408. Konur, S., Gheorghe, M., Dragomir, C., Mierlă, L., Ipate, F., & Krasnogor, N. (2015). Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems. ACS Synthetic Biology, 4(1), 83–92. Konur, S., Gheorghe, M., Dragomir, C., Ipate, F., & Krasnogor, N. (2014). Conventional verification for unconventional computing: a genetic XOR gate example. Fundamenta Informaticae, 134(1–2), 97–110. Konur, S., Kiran, M., Gheorghe, M., Burkitt, M., & Ipate, F. (2015). Agent-based high-performance simulation of biological systems on the GPU. In 17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, pp. 84–89. Gheorghe, M., Konur, S., & Ipate, F. (2017). Kernel P systems and stochastic P systems for modelling and formal verification of genetic logic gates, pp. 661–675. Springer International Publishing, Cham. Lefticaru, R., Konur, S., Yildirim, U., Uddin, A., Campean, F., & Gheorghe, M. (2017). Towards an integrated approach to verification and model-based testing in system engineering. In The International Workshop on Engineering Data- & Model-driven Applications (EDMA-2017) within the IEEE International Conference on Cyber, Physical and Social Computing (CPSCom), pp. 131–138. http://hdl.handle.net/10454/12322 Dragomir, C., Ipate, F., Konur, S., Lefticaru, R., & Mierlă, L. (2014). Model checking kernel P systems. In A. Alhazov, S. Cojocaru, M. Gheorghe, Y. Rogozhin, G. Rozenberg, & A. Salomaa (Eds.), Membrane computing (Vol. 8340, pp. 151–172), Lecture Notes in Computer Science Berlin Heidelberg: Springer. Coakley, S., Gheorghe, M., Holcombe, M., Chin, S., Worth, D., & Greenough, C. (2012). Exploitation of high performance computing in the FLAME agent-based simulation framework. In 14th IEEE International Conference on High Performance Computing and Communication, HPCC 2012, pp. 538–545. Kiran, M., Konur, S., Gheorghe, M., Burkitt, M., & Ipate, F. (2015). Agent-based high-performance simulation of biological systems on the GPU. In 2015 IEEE 17th International Conference on High Performance Computing and Communications. pp. 84–89. Ipate, F., & Gheorghe, M. (2009). Finite state based testing of P systems. Natural Computing, 8(4), 833–846. https://doi.org/10.1007/s11047-008-9099-3. Ipate, F., & Gheorghe, M. (2009). Testing non-deterministic stream X-machine models and P systems. Electronic Notes in Theoretical Computer Science, 227, 113–126. https://doi.org/10.1016/j.entcs.2008.12.107. Lefticaru, R., Gheorghe, M., & Ipate, F. (2011). An empirical evaluation of P system testing techniques. Natural Computing, 10(1), 151–165. https://doi.org/10.1007/s11047-010-9188-y. Ipate, F., Gheorghe, M., & Lefticaru, R. (2010). Test generation from P systems using model checking. Journal of Logic and Algebraic Programming, 79(6), 350–362. https://doi.org/10.1016/j.jlap.2010.03.007. Gheorghe, M., Ipate, F., & Konur, S. (2016). Testing based on identifiable P systems using cover automata and X-machines. Information Sciences 372, 565–578. https://doi.org/10.1016/j.ins.2016.08.028. Gheorghe, M., Ipate, F., Lefticaru, R., & Ţurlea, A. (2018). Testing identifiable kernel P systems using an X-machine approach. In International Conference on Membrane Computing, pp. 142–159, Springer. Harman, M., & McMinn, P. (2010). A theoretical and empirical study of search-based testing: Local, global, and hybrid search. IEEE Transactions on Software Engineering, 36(2), 226–247. Kalaji, A. S., Hierons, R. M., & Swift, S. (2011). An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. Information & Software Technology, 53(12), 1297–1318. Lefticaru, R., & Ipate, F. (2008). Functional Search-based Testing from State Machines. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, pp. 525–528. Lefticaru, R., & Ipate, F. (2007). Automatic state-based test generation using genetic algorithms. In Proc. SYNASC’07, pp. 188–195. IEEE Computer Society. Ţurlea, A., Ipate, F., & Lefticaru, R. (2016). A hybrid test generation approach based on extended finite state machines. In 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timişoara, Romania, pp. 173–180. https://doi.org/10.1109/SYNASC.2016.037. Mitchell, M. (1998). An Introduction to Genetic Algorithms. Cambridge: MIT Press. Nicolescu, R., Dinneen, M.J., & Kim, Y.B. (2009). Structure modelling with hyperdag p systems: Part B. Tech. rep., Centre for Discrete Mathematics and Theoretical Computer Science, CDMTCS-373. Henderson, A., & Nicolescu, R. (2019). Actor-like cP systems. In T. Hinze, G. Rozenberg, A. Salomaa, & C. Zandron (Eds.), Membrane Computing (Vol. 11399, pp. 160–187), Lecture Notes in Computer Science Berlin Heidelberg: Springer. Bakir, M.E., Ipate, F., Konur, S., Mierlă, L., & Niculescu, I. (2014). Extended simulation and verification platform for kernel P systems. In Membrane Computing—15th International Conference, CMC 2014, pp. 158–178. Holcombe, M. (1988). X-machines as a basis for dynamic system specification. Software Engineering Journal, 3(2), 69–76. Bakir, M.E., Konur, S., Gheorghe, M., Niculescu, I., & Ipate, F. (2014). High performance simulations of kernel P systems. In 2014 IEEE international conference on high performance computing and communications, HPCC 2014, pp. 409–412. Gheorghe, M., Konur, S., Ipate, F., Mierlă, L., Bakir, M.E., & Stannett, M. (2015). An integrated model checking toolset for kernel P systems. In Membrane Computing - 16th International Conference, CMC 2015, pp. 153–170 Arapinis, M., Calder, M., Denis, L., Fisher, M., Gray, P., Konur, S., et al. (2009). Towards the verification of pervasive systems. Electronic Communications of the EASST, 2009, 22. Konur, S., Fisher, M., Dobson, S., & Knox, S. (2014). Formal verification of a pervasive messaging system. Formal Aspects of Computing, 26(4), 677–694. Konur, S., & Gheorghe, M. (2015). A property-driven methodology for formal analysis of synthetic biology systems. IEEE/ACM Transactions on Computational Biology and Bioinformatics., 12, 360–371. Bakir, M. E., Konur, S., Gheorghe, M., Krasnogor, N., & Stannett, M. (2018). Automatic selection of verification tools for efficient analysis of biochemical models. Bioinformatics, 34(18), 3187–3195. Konur, S. (2010). Real-time and probabilistic temporal logics: An overview. CoRR arXiv:1005.3200. Konur, S. (2013). A survey on temporal logics for specifying and verifying real-time systems. Frontiers of Computer Science, 7(3), 370–403. Konur, S. (2014). Specifying safety-critical systems with a decidable duration logic. Science of Computer Programming, 80, 264–287. Holzmann, G. J. (1997). The model checker SPIN. IEEE Transactions on Software Engineering, 23(5), 275–295. Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., & Tacchella, A. (2002). NuSMV 2: An open source tool for symbolic model checking. In Computer Aided Verification, 14th International Conference, CAV 2002, Proceedings, pp. 359–364. Harman, M., & McMinn, P.: A theoretical & empirical analysis of evolutionary testing and hill climbing for structural test data generation. In Proceedings of the 2007 international symposium on Software testing and analysis. pp. 73–83. ACM (2007).