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: Sim=atilde=o:Adenilso_da_Silva
Facilitated 1 volumes:
EdContributed to:
2012
2011
2009
2008200820072005Wrote 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.