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 × Italy
1 × United Kingdom
Collaborated with:
M.d'Amorim C.S.Pasareanu A.Filieri W.Visser S.Anand D.H.Bushnell
Talks about:
probabilist (2) symbol (2) execut (2) distribut (1) composit (1) softwar (1) quantif (1) heurist (1) analysi (1) search (1)

Person: Mateus Borges

DBLP DBLP: Borges:Mateus

Contributed to:

ESEC/FSE 20152015
PLDI 20142014
ICST 20122012

Wrote 3 papers:

ESEC-FSE-2015-BorgesFdP #execution #probability #symbolic computation
Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.
PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier
Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
ICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation
Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.

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.