dblp.uni-trier.dewww.uni-trier.de

Florentin Ipate

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
28EEFlorentin Ipate, Marian Gheorghe: Testing Non-deterministic Stream X-machine Models and P systems. Electr. Notes Theor. Comput. Sci. 227: 113-126 (2009)
2008
27EERaluca Lefticaru, Florentin Ipate: Functional Search-based Testing from State Machines. ICST 2008: 525-528
26EEMarian Gheorghe, Florentin Ipate: On Testing P Systems. Workshop on Membrane Computing 2008: 204-216
25EERobert M. Hierons, Florentin Ipate: Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. Formal Asp. Comput. 20(6): 597-617 (2008)
24EEFlorentin Ipate, Mike Holcombe: Testing data processing-oriented systems from stream X-machine models. Theor. Comput. Sci. 403(2-3): 176-191 (2008)
2007
23EEFlorentin Ipate: Class Testing from State Diagrams Using Stream X-Machine Based Methods. ASWEC 2007: 245-254
22EERaluca Lefticaru, Florentin Ipate: Automatic State-Based Test Generation Using Genetic Algorithms. SYNASC 2007: 188-195
2006
21EEFlorentin Ipate: Bounded Sequence Testing from Non-deterministic Finite State Machines. TestCom 2006: 55-70
20EEKirill Bogdanov, Mike Holcombe, Florentin Ipate, L. Seed, Salim K. Vanak: Testing methods for X-machines: a review. Formal Asp. Comput. 18(1): 3-30 (2006)
19EEFlorentin Ipate: Testing against a non-controllable stream X-machine using state counting. Theor. Comput. Sci. 353(1-3): 291-316 (2006)
2005
18EEFlorentin Ipate, Mike Holcombe: Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. XP 2005: 214-217
17EEFlorentin Ipate: On the Minimality of Finite Automata and Stream X-machines for Finite Languages. Comput. J. 48(2): 157-167 (2005)
16EEFlorentin Ipate, Tudor Balanescu: Refinement in Finite State Machine Testing. Fundam. Inform. 64(1-4): 191-203 (2005)
15EEFlorentin Ipate, Mike Holcombe: Complete Testing from a Stream X-Machine Specification. Fundam. Inform. 64(1-4): 205-216 (2005)
2004
14EEMike Holcombe, Florentin Ipate: Complete Test Generation for Extreme Programming. XP 2004: 274-277
13EEFlorentin Ipate: Complete deterministic stream X-machine testing. Formal Asp. Comput. 16(4): 374-386 (2004)
2003
12 Florentin Ipate, Mike Holcombe: Testing Non-Deterministic X-Machines. Grammars and Automata for String Processing 2003: 151-162
11EEFlorentin Ipate, Marian Gheorghe, Mike Holcombe: Testing (Stream) X-machines. Appl. Algebra Eng. Commun. Comput. 14(3): 217-237 (2003)
10EEFlorentin Ipate: On the Minimality of Stream X-machines. Comput. J. 46(3): 295-306 (2003)
2002
9EETudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate: Eilenberg P Systems. WMC-CdeA 2002: 43-57
8EEFlorentin Ipate, Mike Holcombe: An Integrated Refinement and Testing Method for Stream X-machines. Appl. Algebra Eng. Commun. Comput. 13(2): 67-91 (2002)
7EEFlorentin Ipate, Mike Holcombe: Testing Conditions for Communicating Stream X-machine Systems. Formal Asp. Comput. 13(6): 431-446 (2002)
6 Joaquin Aguado, Tudor Balanescu, Anthony J. Cowling, Marian Gheorghe, Mike Holcombe, Florentin Ipate: P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines). Fundam. Inform. 49(1-3): 17-33 (2002)
2001
5EETudor Balanescu, Marian Gheorghe, Mike Holcombe, Florentin Ipate: Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars. ECAL 2001: 296-305
4 Florentin Ipate, Marian Gheorghe, Mike Holcombe, Tudor Balanescu: Testing Using X-Machine Translations. Words, Semigroups, and Transductions 2001: 211-229
2000
3EEFlorentin Ipate, Mike Holcombe: Generating Test Sets from Non-Deterministic Stream X-Machines. Formal Asp. Comput. 12(6): 443-458 (2000)
1998
2 Florentin Ipate, Mike Holcombe: Specification and Testing Using Generalised Machines: A Presentation and a Case Study. Softw. Test., Verif. Reliab. 8(2): 61-81 (1998)
1996
1 Florentin Ipate, Mike Holcombe: Another Look at Computability. Informatica (Slovenia) 20(3): (1996)

Coauthor Index

1Joaquin Aguado [6]
2Tudor Balanescu [4] [5] [6] [9] [16]
3Kirill Bogdanov [20]
4Anthony J. Cowling [6]
5Marian Gheorghe [4] [5] [6] [9] [11] [26] [28]
6Robert M. Hierons [25]
7Mike Holcombe [1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [14] [15] [18] [20] [24]
8Raluca Lefticaru [22] [27]
9L. Seed [20]
10Salim K. Vanak [20]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)