BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Estonia
1 × Germany
1 × The Netherlands
1 × USA
1 × Vietnam
Collaborated with:
M.Subramaniam G.Csopaki S.Dibuz B.Guo L.Xiao G.Kovács G.Á.Németh
Talks about:
test (4) select (2) machin (2) impact (2) state (2) finit (2) chang (2) use (2) increment (1) algorithm (1)

Person: Zoltán Pap

DBLP DBLP: Pap:Zolt=aacute=n

Contributed to:

SEFM 20092009
TestCom/FATES 20092009
TestCom/FATES 20072007
TestCom 20062006
SEFM 20052005
TestCom 20052005

Wrote 6 papers:

SEFM-2009-SubramaniamGP #finite #impact analysis #state machine #testing #using
Using Change Impact Analysis to Select Tests for Extended Finite State Machines (MS, BG, ZP), pp. 93–102.
TestCom-FATES-2009-SubramaniamXGP #approach #proving #testing #theorem proving #using
An Approach for Test Selection for EFSMs Using a Theorem Prover (MS, LX, BG, ZP), pp. 146–162.
TestCom-FATES-2007-PapSKN #algorithm #bound #finite #generative #incremental #state machine #testing
A Bounded Incremental Test Generation Algorithm for Finite State Machines (ZP, MS, GK, GÁN), pp. 244–259.
TestCom-2006-SubramaniamP #protocol #testing
Analyzing the Impact of Protocol Changes on Tests (MS, ZP), pp. 197–212.
SEFM-2005-PapCD #formal method #on the
On the Theory of Patching (ZP, GC, SD), pp. 263–271.
TestCom-2005-PapCD #fault #on the
On FSM-Based Fault Diagnosis (ZP, GC, SD), pp. 159–174.

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.