BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Italy
1 × Japan
1 × Russia
2 × Germany
3 × United Kingdom
4 × USA
Collaborated with:
D.Marinov M.Borges C.S.Pasareanu S.Lauterburg G.Rosu S.Khurshid A.Filieri M.Gligoric M.D.Ernst A.Rimsa F.M.Q.Pereira J.Cândido L.Melo S.Souto D.S.Batory P.Barros J.Campos R.Abreu G.Fraser E.Alves V.Jagannath C.Bertolini G.Peres A.Mota W.Visser S.Anand D.H.Bushnell C.Pacheco T.Xie D.Gopinath T.Gvero C.H.P.Kim R.Just S.Millstein P.Vines W.Dietl
Talks about:
analysi (5) test (5) execut (3) probabilist (2) techniqu (2) softwar (2) program (2) generat (2) symbol (2) orient (2)

♂ Person: Marcelo d'Amorim

DBLP DBLP: d'Amorim:Marcelo

Facilitated 4 volumes:

ASE 2013SaEventsCh
ASE 2013WoCh
ASE 2012PrCo
ASE 2011PrCo

Contributed to:

ESEC/FSE 20152015
SPLC 20152015
PLDI 20142014
ASE 20132013
ESEC/FSE 20132013
ICST 20122012
ASE 20112011
CC 20112011
ICST 20092009
ICSE 20082008
ISSTA 20072007
ASE 20062006
CAV 20052005
ASE 20152015
ASE 20172017

Wrote 15 papers:

ESEC-FSE-2015-BorgesFdP #execution #probability #symbolic computation
Iterative distribution-aware sampling for probabilistic symbolic execution (MB, AF, Md, CSP), pp. 866–877.
SPLC-2015-SoutoGdMKB #debugging #detection #feature model #modelling #performance #product line
Faster bug detection for software product lines with incomplete feature models (SS, DG, Md, DM, SK, DSB), pp. 151–160.
PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier
Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
ASE-2013-CamposAFd #fault #generative #locality #testing
Entropy-based test generation for improved fault localization (JC, RA, GF, Md), pp. 257–267.
ESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #lightweight #named #testing
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
ICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation
Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.
ASE-2011-AlvesGJd #impact analysis #slicing #using
Fault-localization using dynamic slicing and change impact analysis (EA, MG, VJ, Md), pp. 520–523.
CC-2011-RimsadP #analysis #source code
Tainted Flow Analysis on e-SSA-Form Programs (AR, Md, FMQP), pp. 124–143.
ICST-2009-BertoliniPdM #automation #black box #empirical #evaluation #testing #user interface
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs (CB, GP, Md, AM), pp. 21–30.
ICSE-2008-GveroGL #java
State extensions for java pathfinder (TG, MG, SL, Md, DM, SK), pp. 863–866.
ISSTA-2007-dAmorimLM #execution #object-oriented #performance #source code
Delta execution for efficient state-space exploration of object-oriented programs (Md, SL, DM), pp. 50–60.
ASE-2006-dAmorimPXME #automation #classification #comparison #empirical #generative #object-oriented #testing
An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing (Md, CP, TX, DM, MDE), pp. 59–68.
CAV-2005-dAmorimR #monitoring #performance
Efficient Monitoring of ω-Languages (Md, GR), pp. 364–378.
ASE-2015-BarrosJMVDdE #android #control flow #java #static analysis
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T) (PB, RJ, SM, PV, WD, Md, MDE), pp. 669–679.
ASE-2017-CandidoMd #case study #open source #parallel #testing
Test suite parallelization in open-source projects: a study on its usage and impact (JC, LM, Md), pp. 838–848.
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.