 | 2009 |
|---|
| 29 |       | Florentin Ipate:
Test Selection for Hierarchical and Communicating Finite State Machines.
Comput. J. 52(3): 334-347 (2009) |
| 28 | | Florentin Ipate,
Marian Gheorghe:
Testing Non-deterministic Stream X-machine Models and P systems.
Electr. Notes Theor. Comput. Sci. 227: 113-126 (2009) |
| 2008 |
|---|
| 27 | | Raluca Lefticaru,
Florentin Ipate:
Functional Search-based Testing from State Machines.
ICST 2008: 525-528 |
| 26 | | Marian Gheorghe,
Florentin Ipate:
On Testing P Systems.
Workshop on Membrane Computing 2008: 204-216 |
| 25 | | Robert 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) |
| 24 | | Florentin Ipate,
Mike Holcombe:
Testing data processing-oriented systems from stream X-machine models.
Theor. Comput. Sci. 403(2-3): 176-191 (2008) |
| 2007 |
|---|
| 23 | | Florentin Ipate:
Class Testing from State Diagrams Using Stream X-Machine Based Methods.
ASWEC 2007: 245-254 |
| 22 | | Raluca Lefticaru,
Florentin Ipate:
Automatic State-Based Test Generation Using Genetic Algorithms.
SYNASC 2007: 188-195 |
| 2006 |
|---|
| 21 | | Florentin Ipate:
Bounded Sequence Testing from Non-deterministic Finite State Machines.
TestCom 2006: 55-70 |
| 20 | | Kirill 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) |
| 19 | | Florentin Ipate:
Testing against a non-controllable stream X-machine using state counting.
Theor. Comput. Sci. 353(1-3): 291-316 (2006) |
| 2005 |
|---|
| 18 | | Florentin Ipate,
Mike Holcombe:
Using State Diagrams to Generate Unit Tests for Object-Oriented Systems.
XP 2005: 214-217 |
| 17 | | Florentin Ipate:
On the Minimality of Finite Automata and Stream X-machines for Finite Languages.
Comput. J. 48(2): 157-167 (2005) |
| 16 | | Florentin Ipate,
Tudor Balanescu:
Refinement in Finite State Machine Testing.
Fundam. Inform. 64(1-4): 191-203 (2005) |
| 15 | | Florentin Ipate,
Mike Holcombe:
Complete Testing from a Stream X-Machine Specification.
Fundam. Inform. 64(1-4): 205-216 (2005) |
| 2004 |
|---|
| 14 | | Mike Holcombe,
Florentin Ipate:
Complete Test Generation for Extreme Programming.
XP 2004: 274-277 |
| 13 | | Florentin 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 |
| 11 | | Florentin Ipate,
Marian Gheorghe,
Mike Holcombe:
Testing (Stream) X-machines.
Appl. Algebra Eng. Commun. Comput. 14(3): 217-237 (2003) |
| 10 | | Florentin Ipate:
On the Minimality of Stream X-machines.
Comput. J. 46(3): 295-306 (2003) |
| 2002 |
|---|
| 9 | | Tudor Balanescu,
Marian Gheorghe,
Mike Holcombe,
Florentin Ipate:
Eilenberg P Systems.
WMC-CdeA 2002: 43-57 |
| 8 | | Florentin Ipate,
Mike Holcombe:
An Integrated Refinement and Testing Method for Stream X-machines.
Appl. Algebra Eng. Commun. Comput. 13(2): 67-91 (2002) |
| 7 | | Florentin 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 |
|---|
| 5 | | Tudor 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 |
|---|
| 3 | | Florentin 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) |
