Publications

Complete Listing    |   Journal Publications   |  Refereed Conferences   |  Book Chapters    |    Books

JOURNAL PUBLICATIONS

  1. F. Ipate: Learning Finite Cover Automata from Queries, Journal of Computer and System Sciences, to appear.

  2. G. Zhang, C. Liu, M. Gheorghe, F. Ipate: An Approximate Algorithm Using P Systems with Active Membranes, Mathematics and Computers in Simulation, to appear.

  3. F. Ipate, R. Lefticaru, C. Tudose: Formal verification of P systems using SPIN, International Journal of Foundations of Computer Science, 22(1), 133-142, 2011.

  4. R. Lefticaru, M. Gheorghe, F. Ipate: An empirical evaluation of P system testing techniques, Natural Computing, 10(1), 151-165, 2011.

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

  6. F. Ipate: Bounded Sequence Testing from Deterministic Finite State Machines, Theoretical Computer Science, 411(16-18), 1770-1784, 2010.

  7. R. Lefticaru, F. Ipate, M. Gheorghe: Model Checking Based Test Generation from P Systems Using P-Lingua, Romanian Journal of Information Science and Technology, 13(2), 153-168, 2010.

  8. F. Ipate, M. Gheorghe: Finite state based testing of P systems, Natural Computing, 8(4), 833-846, 2009.

  9. F. Ipate: Test Selection for Hierarchical and Communicating Finite State Machines, The Computer Journal, 52(3), 334-347, 2009.

  10. F. Ipate, M. Gheorghe: Mutation Based Testing of P Systems, International Journal of Computers, Communication and Control, IV(3), 2009.

  11. T. Balanescu, M. Gheorghe, F. Ipate: Combined power of X-machines and P systems, Annals of Bucharest University, Computer Science, Vol. LVIII, 35-48, 2009.

  12. F. Ipate, M. Holcombe: Testing data processing-oriented systems from stream X-machine models, Theoretical Computer Science, 403(2-3), 176-191, 2008.

  13. R. Hierons, F. Ipate: Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine, Formal Aspects of Computing, 20: 597-617, 2008.

  14. F. Ipate, R. Lefticaru: Genetic Model based Testing: a Framework and a Case Study, Romanian Journal of Information Science and Technology, 11(3), 209-227, 2008.

  15. F. Ipate: Testing against a Non-Controllable Stream X-machine using State Counting, Theoretical Computer Science, 353(1-3), 291-316, 2006.

  16. K. Bogdanov, M. Holcombe, F. Ipate, L.Seed, S. Vanak: Testing Methods for X-machines: a review, Formal Aspects of Computing, 18(1), 3-30, 2006.

  17. F. Ipate: On the Minimality of Finite Automata and Stream X-machines for Finite Languages, The Computer Journal, 48(2), 157-167, 2005.

  18. F. Ipate, T. Balanescu: Refinement in Finite State Machine Testing, Fundamenta Informaticae,64(1-4), 191-203, 2005.

  19. F. Ipate, M. Holcombe: Complete Testing from a Stream X-machine Specification, Fundamenta Informaticae, 64(1-4),205-216, 2005.

  20. F. Ipate: Unit Test Generation for eXtreme Programming, Scientific Bulletin of Pitesti University, Mathematics and Computer Science, 11, 2005.

  21. F. Ipate: Complete Deterministic Stream X-machine Testing, Formal Aspects of Computing, 16(4), 374-386, 2004.

  22. T. Balanescu, F. Ipate: The Wp method for Partially Specified Deterministic Finite State Machines, Annals of Bucharest University, Computer Science, LIII(1), 47-60, 2004.

  23. F. Ipate: Complete Test Generation for Agile Processes, Scientific Bulletin of Pitesti University, Mathematics and Computer Science, 10, 77-85, 2004

  24. F. Ipate: On the Minimality of Stream X-Machines, The Computer Journal,46(3), 295-306, 2003

  25. F. Ipate, M. Gheorghe, M. Holcombe: Testing (Stream) X-machines, Applicable Algebra in Engineering, Communication and Computing, 14(3), 217-237, 2003

  26. T. Balanescu, M. Gheorghe, F. Ipate, M. Holcombe: Formal Black Box Testing for Partially Specified Deterministic Finite State Machines, Foundations of Computing and Decision Sciences, 28 (1), 17-28, 2003

  27. F. Ipate, T. Balanescu, P. Kefalas, M. Holcombe, G. Eleftherakis: A new model of Communicating Stream X-machine Systems, Romanian Journal of Information Science and Technology, 6(1-2), 165-184, 2003.

  28. F. Ipate, M. Holcombe: Testing Conditions for Communicating Stream X-machine Systems, Formal Aspects of Computing, 13(6), 431-446, 2002.

  29. F. Ipate, M. Holcombe: An Integrated Refinement and Testing Method for Stream X-Machines, Applicable Algebra in Engineering, Communication and Computing, 13(2), 67-91, 2002.

  30. J. Aguado, T. Balanescu, T. Cowling, M. Gheorghe, M. Holcombe F. Ipate: P Systems with Replicated Rewriting and Stream X-machines (Eilenberg machines), Fundamenta Informaticae, 49, 17-33, 2002.

  31. F. Ipate, M. Gheorghe, M. Holcombe, T. Balanescu: A theory of testing for non-deterministic X-machines, Romanian Journal of Information Science and Technology, 5(1-2), Romanian Academy, 137-154, 2002.

  32. F. Ipate, M. Holcombe: Generating test sets from non-deterministic stream X-machines, Formal Aspects of Computing, 12(6), 443-458, 2000.

  33. F. Ipate, M. Holcombe: A method for refining and testing generalised machine specifications, International Journal of Computer Mathematics, 68, 197-219, 1998.

  34. F. Ipate, M. Holcombe: Specification and testing using generalized machines: a presentation and a case study, Software Testing, Verification and Reliability, 8, 61-81, 1998.

  35. F. Ipate: X-machines: a specification method for software systems (in Romanian), Informatica Economica, II(6), Bucharest, 41-46, 1998.

  36. F. Ipate, M. Holcombe: An integration testing method that is proved to find all faults, International Journal of Computer Mathematics, 63, 159-178, 1997.

  37. F. Ipate, M. Holcombe: Another look at computability, Informatica, 20 (3), 359-372, 1996

  38. M. Fairtlough, M. Holcombe F. Ipate, C. Jordan, G. Laycock, Z. Duan: Using an X-machine to model a video cassette recorder, Current issues in electronic modelling, 3, 141-161, 1995.

REFEREED CONFERENCES

  1. I. Dinca, A. Stefanescu, F. Ipate, R. Lefticaru, C. Tudose: Test Data Generation for Event-B Models using Genetic Algorithms, in Proc. of 2nd International Conference on Software Engineering and Computer Systems (ICSECS'11), CCIS Series, vol. 181, pp. 76-90. Springer, 2011.

  2. A. Stefanescu, F. Ipate, R. Lefticaru, C. Tudose: Towards Search-Based Testing for Event-B Models, to appear in Proc. of 4th International Workshop on Search-Based Software Testing (SBST'11), IEEE Computer Society, 2011.

  3. F. Ipate, A. Turcanu: Modeling, Verification and Testing of P Systems Using Rodin and ProB, in Ninth Brainstorming Week on Membrane Computing, 209-220, Fenix Editora, Sevilla, 2011.

  4. M. Gheorghe, F. Ipate, R. Lefticaru, C.Dragomir: An integrated approach to P systems formal verification, in Int. Conf. on Membrane Computing (CMC 2010), Jena, Germany, August 24-27, 2010. Revised Selected Papers, LNCS 6501 Springer, 226-239, 2011.

  5. M. Gheorghe, F. Ipate: Testing based on P systems - an overview, in Int. Conf. on Membrane Computing (CMC 2010), Jena, Germany, August 24-27, 2010. Revised Selected Papers, LNCS 6501 Springer, 3-6, 2011.

  6. A. Ciobanu, R. Lefticaru, I. M. Niculescu, F. Ipate: Tools for P system testing, in Proceedings of the Eleventh International Conference on Membrane Computing (CMC11), Jena, Germany, August 2010, pp. 451-454, ProBusiness Verlag, Berlin, 2010.

  7. F. Zhou, G. Zhang, H. Rong, M. Gheorghe, J. Cheng, F. Ipate, R. Lefticaru: A particle swarm optimization based on P systems, in Proceedings of the Sixth International Conference on Natural Computation (ICNC'10), Yantai, Shandong, China, August, IEEE Press, 3003-3007, 2010.

  8. M. Gheorghe, F. Ipate, C. Dragomir: Formal Verification and Testing Based on P Systems, in Tenth Workshop on Membrane Computing (WMC10), Curtea de Arges, Romania, August 2009, 33-34. Selected, revised papers, in G. Paun et al. (Eds.), LNCS 5957, 54-65, Springer, 2010.

  9. R. Lefticaru, F. Ipate, M. Gheorghe, G. Zhang: Tuning P Systems for Solving the Broadcasting Problem, in Tenth Workshop on Membrane Computing (WMC10), Curtea de Arges, Romania, August 2009, 337-354. Selected, revised papers, in G. Paun et al. (Eds.), LNCS 5957, pp. 354-370, Springer, 2010.

  10. C. Liu, G. Zhang, H. Liu, M. Gheorghe, F. Ipate: An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition, in Tenth Workshop on Membrane Computing (WMC10), Curtea de Arges, Romania, August 2009, 355-368. Selected, revised papers, in G. Paun et al. (Eds.), LNCS 5957, pp. 371-384, Springer, 2010.

  11. G. Zhang, C. Liu, M. Gheorghe, F. Ipate: Solving Satisfiability Problems with Membrane Algorithms, in The Fourth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), Beijing, China, 16-19 October 29-36, 2009.

  12. R. Lefticaru, F. Ipate, C.Tudose: Automated Model Design using Genetic Algorithms and Model Checking, in 4th Balkan Conference in Informatics (BIC 09), Thessaloniki, Grece, 17-19 September, 79-84, 2009.

  13. M. Gheorghe, F. Ipate: On testing P systems, in Ninth Workshop on Membrane Computing (WMC9), 28-31 July 2008, Edinburgh, UK, Revised Selected and Invited Papers, in Lecture Notes in Computer Science, 5391, 204-216, Springer, 2009.

  14. F. Ipate, M. Gheorghe: Testing Non-deterministic Stream X-machine Models and P systems, MecBic 2008, in Electronic Notes in Theoretical Computer Science,227, 113-126, 2009.

  15. R. Lefticaru, F. Ipate: Search-based Testing using State-based Fitness, in Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW '08), 210-, IEEE Computer Society, Washington, DC, USA, 2008.

  16. R. Lefticaru, F. Ipate: A Comparative Landscape Analysis of Fitness Functions for Search-based Testing, in 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009), September 26-29, 2008, Timisoara, Romania, Proceedings. IEEE Computer Society, 2008.

  17. F. Ipate, R. Lefticaru: Functional Search-based Testing from State Machines, in The IEEE International Conference on Software Testing Verification and Validation (ICST 2008), 9-11 April 2008, Lillehammer, Norway, Proceedings. IEEE Computer Society, 525-528, 2008.

  18. F. Ipate, R. Lefticaru: State-based Testing is Functional Testing!, in Testing: Academia and Industry Conference - Practice And Research Techniques (TAIC PART 2007), 12-14 September 2007, Windsor, United Kingdom, Proceedings. IEEE Computer Society, 55-64, 2007.

  19. F. Ipate: Class testing from state diagrams using stream X-machine based methods, in J. Grundy, J. Han (Eds.): 18th Australian Software Engineering Conference (ASWEC 2007), 10-13 April 2007, Melbourne, Australia, Proceedings. IEEE Computer Society, 245-254, 2007.

  20. F. Ipate, L. Banica: W-method for Hierarchical and Communicating Finite State Machines, in 5th International IEEE Conference on Industrial Informatics (INDIN 2007), 23-27 July 2007, Vienna, Austria, Proceedings, Vol.2. IEEE Computer Society, 891-896, 2007.

  21. R. Lefticaru, F. Ipate: Automatic State-Based Test Generation Using Genetic Algorithms, in 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) September 26-29, 2007, Timisoara, Romania, Proceedings. IEEE Computer Society, 188-195, 2007.

  22. F. Ipate: Bounded Sequence Testing from Non-deterministic Finite State Machines, in M. U. Uyar, A. Y. Duale, M. A. Fecko (Eds.): Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings. Lecture Notes in Computer Science 3964 Springer, 55-70, 2006.

  23. F. Ipate, T. Balanescu: Finite State Machine Testing from an OR State Refinement Design, The 13th Conference On Applied and Industrial Mathematics, CAIM, Pitesti, Romania, in ROMAI J., 1(2), 109-118, 2006.

  24. F. Ipate, M. Holcombe: Using State Diagrams to Generate Unit Tests for Object-Oriented Systems, in H. Baumeister, M. Marchesi, M. Holcombe (Eds.): Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings. Lecture Notes in Computer Science 3556 Springer, 214-217, 2005.

  25. F. Ipate, T. Balanescu: A Testing Procedure for Deterministic Cover Finite State Machines, The 12th Conference On Applied and Industrial Mathematics, CAIM, Pitesti, Romania, in ROMAI J., vol. 1(2):115-128, 2005.

  26. M. Holcombe, F. Ipate: Complete Test Generation for Extreme Programming, in J. Eckstein, H. Baumeister (Eds.): Extreme Programming and Agile Processes in Software Engineering, 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings. Lecture Notes in Computer Science 3092 Springer, 274-277, 2004.

  27. T. Balanescu, T. Cowling, M. Gheorghe, M. Holcombe, F. Ipate: Eilenberg P Systems, in G. Paun, G. Rozenberg, A. Salomaa, C. Zandron (Eds.): Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers. Lecture Notes in Computer Science 2597, Springer, 43-57, 2003.

  28. F. Ipate, T. Balanescu, G. Eleftherakis: Testing Communicating Stream X-machines, Proceedings of the 1st Balkan Conference in Informatics, 161-174, 2003.

  29. F. Ipate, T. Balanescu, M. Gheorghe, M. Holcombe: The W-method for refinement of finite state machines, SoftTest, UK Software Testing Research II, York, 2-5 September, 2003.

  30. F. Ipate: Complete Testing based on Machine Specifications, Proceedings of the 6th International Symposium of Economic Informatics, Bucharest, 117-125, 2003.

  31. F. Ipate, M. Gheorghe, M. Holcombe, T. Balanescu: Testing non-deterministic (stream) X-machines, in R. Hierons and T. Jeron (Eds.), Formal Approaches to Testing of Software, FATES'02, Brno, Czech Republic, August 24, 35-50, 2002.

  32. F. Ipate: Two Testing Strategies for Non-Deterministic X-machines, The 9th Conference On Applied and Industrial Mathematics, CAIM, Pitesti, Romania, 2001.

  33. T. Balanescu, M. Gheorghe, M. Holcombe, F. Ipate: Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars, in J Kelemen and P Sosik (Eds), Advances in Artificial Life, 6th European Conference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001, Proceedings. Lecture Notes in Computer Science 2159 Springer 2001, 296-305, 2001.

  34. J. Aguado, T. Balanescu, T. Cowling, M. Gheorghe, F. Ipate: P Systems with Replicated Rewriting and Stream X-machines, Pre-proceedings of the Workshop on molecular computing, Curtea de Arges, 19-25 August, 7-18, 2001.

  35. F. Ipate: Refinement of Stream X-machine Specifications, Proceedings of the 5th International Symposium of Economic Informatics, Bucharest, 1117-1125, 2001.

  36. F. Ipate: A Theory of Testing for X-machines, The 8th Conference On Applied and Industrial Mathematics, CAIM, Pitesti, Romania, 115-120, 2000.

  37. F. Ipate, M.Popescu: A Z Type Language for Specifying X-Machines, Proceedings of CITTI, Constanta, Romania, 82-88, 2000.

  38. F. Ipate: A method for testing non-deterministic X-machines that finds all faults, The 7th Conference On Applied and Industrial Mathematics, CAIM, Pitesti, Romania, 107-113, 1999.

  39. F. Ipate: Using Hybrid Machines for specifying Hybrid Software Systems, Proceedings of the 4th International Symposium of Economic Informatics, Bucharest, 679-686, 1999.

  40. F. Ipate: Is software testing effective?, Proceedings of the 3rd International Symposium of Economic Informatics, Bucharest, 173-179, 1997.

  41. F. Ipate: X-machine Based Testing, Proceedings of the 10th International Conference on Control Systems and Computer Science, Vol. 2, Bucharest, 262-272, 1995.

  42. M. Holcombe, F. Ipate, A. Grondoudis: Complete Functional Testing of Safety-Critical Systems, Safety and Reliability in Emerging Control Technologies (A Postprint volume from IFAC Workshop, Daytona Beach, Florida, USA), 199-204, 1995.

BOOK CHAPTERS

  1. F. Ipate, M. Holcombe: "Testing non-deterministic X-machines", in C. Martin-Vide & V. Mitrana, eds, Grammars and Automata for String Processing: from Mathematics and Computer Science to Biology, and Back, Taylor and Francis, London, 151-162, 2003.

  2. F. Ipate, M. Gheorghe M. Holcombe T. Balanescu: "Testing using X-machine Translations", M. Ito, G. Paun, S. Yu, eds., Words Semigroups and Transductions, Word Scientific Series in Computer Science, World Scientific, Singapore, 211-230, 2001.

BOOKS

  1. M. Holcombe, F. Ipate: "Correct Systems: Building a Business Process Solution" Springer-Verlag, London, 1998.

  2. F. Ipate: "Object-oriented modelling using UML" University of Pitesti Publishing House, 2001 (in Romanian)

  3. F. Ipate, M. Popescu: "Database Applications in Oracle8 and Forms6", ALL Publishing House, Bucharest, 2000 (in Romanian).

  4. F. Ipate: "Principles of Expert Systems", Sylvi Publishing House, Bucharest 1998 (in Romanian)