|
Publications
Complete Listing | Journal Publications | Refereed Conferences | Book Chapters | Books
F. Ipate:
Learning Finite Cover Automata from Queries, Journal of Computer and System Sciences, to appear. G. Zhang, C. Liu, M. Gheorghe, F. Ipate:
An Approximate Algorithm Using P Systems with Active Membranes, Mathematics and Computers in Simulation, to appear. 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. R. Lefticaru, M. Gheorghe, F. Ipate: An empirical evaluation of P system testing techniques, Natural Computing, 10(1), 151-165, 2011. 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. F. Ipate: Bounded Sequence Testing from Deterministic Finite State Machines, Theoretical Computer Science, 411(16-18), 1770-1784, 2010. 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. F. Ipate, M. Gheorghe: Finite state based testing of P systems, Natural Computing, 8(4), 833-846, 2009.
F. Ipate: Test Selection for Hierarchical and Communicating Finite State Machines, The Computer Journal, 52(3), 334-347, 2009.
F. Ipate, M. Gheorghe:
Mutation Based Testing of P Systems, International Journal of Computers, Communication and Control, IV(3), 2009.
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.
F. Ipate, M. Holcombe:
Testing data processing-oriented systems from stream X-machine models, Theoretical Computer Science, 403(2-3), 176-191, 2008. 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. 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. F. Ipate:
Testing against a Non-Controllable Stream X-machine using State Counting, Theoretical Computer Science, 353(1-3), 291-316, 2006. 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. F. Ipate:
On the Minimality of Finite Automata and Stream X-machines for Finite Languages, The Computer Journal, 48(2), 157-167, 2005. F. Ipate, T. Balanescu:
Refinement in Finite State Machine Testing, Fundamenta Informaticae,64(1-4), 191-203, 2005. F. Ipate, M. Holcombe:
Complete Testing from a Stream X-machine Specification, Fundamenta Informaticae, 64(1-4),205-216, 2005. F. Ipate:
Unit Test Generation for eXtreme Programming, Scientific Bulletin of Pitesti University, Mathematics and Computer Science,
11, 2005. F. Ipate:
Complete Deterministic Stream X-machine Testing, Formal Aspects of Computing,
16(4), 374-386, 2004. 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. F. Ipate:
Complete Test Generation for Agile Processes, Scientific Bulletin of Pitesti University, Mathematics and Computer Science,
10, 77-85, 2004 F. Ipate:
On the Minimality of Stream X-Machines, The Computer Journal,46(3), 295-306, 2003 F. Ipate, M. Gheorghe, M. Holcombe:
Testing (Stream) X-machines, Applicable Algebra in Engineering, Communication and Computing, 14(3), 217-237, 2003 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 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. F. Ipate, M. Holcombe: Testing Conditions for Communicating Stream X-machine Systems, Formal Aspects of Computing, 13(6), 431-446, 2002. 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. 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. 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. F. Ipate, M. Holcombe: Generating test sets from non-deterministic stream X-machines, Formal Aspects of Computing, 12(6), 443-458, 2000. F. Ipate, M. Holcombe: A method for refining and testing generalised machine specifications, International Journal of Computer Mathematics, 68, 197-219, 1998. 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. F. Ipate: X-machines: a specification method for software systems (in Romanian), Informatica Economica, II(6), Bucharest, 41-46, 1998. F. Ipate, M. Holcombe: An integration testing method that is proved to find all faults, International Journal of Computer Mathematics, 63, 159-178, 1997. F. Ipate, M. Holcombe: Another look at computability, Informatica, 20 (3), 359-372, 1996 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.
|
