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: Borges:Mateus
Contributed to:
2015
2014
2012Wrote 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.