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 × 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 DBLP: Durelli:Vinicius_H=_S=

Contributed to:

SEKE 20152015
SAC 20142014
ICST 20122012

Wrote 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.

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.