BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
1 × Norway
1 × USA
Collaborated with:
R.Lefticaru ∅ D.Dranidis K.Bratanis
Talks about:
test (4) machin (3) state (3) generat (2) finit (2) determinist (1) algorithm (1) function (1) approach (1) sequenc (1)

Person: Florentin Ipate

DBLP DBLP: Ipate:Florentin

Facilitated 1 volumes:

A-MOST 2020PrCo

Contributed to:

SEFM 20122012
ICST 20082008
TestCom 20062006

Wrote 4 papers:

SEFM-2012-DranidisBI #automation #generative #named #testing
JSXM: A Tool for Automated Test Generation (DD, KB, FI), pp. 352–366.
SEFM-2012-LefticaruI #algorithm #approach #finite #generative #search-based #state machine #testing #using
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms (RL, FI), pp. 293–307.
ICST-2008-LefticaruI #functional #search-based #state machine #testing
Functional Search-based Testing from State Machines (RL, FI), pp. 525–528.
TestCom-2006-Ipate #bound #finite #nondeterminism #sequence #state machine #testing
Bounded Sequence Testing from Non-deterministic Finite State Machines (FI), pp. 55–70.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.