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 × Canada
1 × Japan
1 × Republic of China
1 × South Africa
1 × The Netherlands
2 × USA
Collaborated with:
A.Petrenko N.Yevtushenko A.T.Endo A.L.Bonifácio A.V.Moura S.d.R.S.d.Souza P.S.L.d.Souza E.Y.Nakagawa F.C.Ferrari J.C.Maldonado M.C.C.Machado M.S.Camillo E.Zaluska S.R.Vergilio T.B.Goncalves A.d.M.Lima A.C.Hausen
Talks about:
test (7) generat (5) state (4) machin (3) finit (3) sequenc (2) program (2) method (2) reduc (2) check (2)

Person: Adenilso da Silva Simão

DBLP DBLP: Sim=atilde=o:Adenilso_da_Silva

Facilitated 1 volumes:

ICTSS 2010Ed

Contributed to:

ICST 20122012
SEKE 20112011
TestCom/FATES 20092009
SEFM 20082008
TestCom/FATES 20082008
SEKE 20072007
SEKE 20052005

Wrote 8 papers:

ICST-2012-EndoS #comparison #finite #generative #state machine #testing
Experimental Comparison of Test Case Generation Methods for Finite State Machines (ATE, AdSS), pp. 549–558.
ICST-2012-PetrenkoSY #finite #generative #nondeterminism #sequence #state machine
Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.
SEKE-2011-SouzaSMCSZ #concurrent #quality #reachability #testing #using
Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality (SdRSdS, PSLdS, MCCM, MSC, AdSS, EZ), pp. 207–212.
TestCom-FATES-2009-SimaoPY #generative #testing
Generating Reduced Tests for FSMs with Extra States (AdSS, AP, NY), pp. 129–145.
SEFM-2008-BonifacioMS #generative #modelling #testing
A Generalized Model-Based Test Generation Method (ALB, AVM, AdSS), pp. 139–148.
TestCom-FATES-2008-SimaoP #finite #generative #sequence #state machine
Generating Checking Sequences for Partial Reduced Finite State Machines (AdSS, AP), pp. 153–168.
SEKE-2007-NakagawaSFM #architecture #testing #tool support #towards
Towards a Reference Architecture for Software Testing Tools (EYN, AdSS, FCF, JCM), pp. 157–162.
SEKE-2005-SouzaVSSGLH #message passing #named #parallel #source code #testing
ValiPar: A Testing Tool for Message-Passing Parallel Programs (SdRSdS, SRV, PSLdS, AdSS, TBG, AdML, ACH), pp. 386–391.

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.