Travelled to:1 × Canada
1 × South Korea
1 × USA
Collaborated with:M.M.Eler A.T.Endo J.Offutt M.E.Delamaro S.d.S.Borges H.M.Reis S.Isotani
Talks about:test (2) systemat (1) virtual (1) languag (1) generat (1) further (1) context (1) toward (1) symbol (1) machin (1)
Person: Vinicius H. S. Durelli
DBLP: Durelli:Vinicius_H=_S=
Contributed to:
2015
2014
2012Wrote 3 papers:
- SEKE-2015-ElerDE #exception #execution #generative #symbolic computation #testing
- Analyzing Exceptions in the Context of Test Data Generation Based on Symbolic Execution (MME, VHSD, ATE), pp. 346–351.
- SAC-2014-BorgesDRI #education #gamification
- A systematic mapping on gamification applied to education (SdSB, VHSD, HMR, SI), pp. 216–222.
- ICST-2012-DurelliOD #mutation testing #testing #towards #virtual machine
- Toward Harnessing High-Level Language Virtual Machines for Further Speeding Up Weak Mutation Testing (VHSD, JO, MED), pp. 681–690.