1. (C) Fault-Localization aware of Dynamic Slicing and Change Impact Analysis (.pdf).
    Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim.
    IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2011), Lawrence (KS), USA, November 2011

  2. (C)  CORAL: Solving Complex Constraints for Symbolic PathFinder (.pdf).
    Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina Păsăreanu.
    NASA Formal Methods Symposium
    (NFM 2011), Pasadena (CA), USA, April 2011 (accpt. 23% [26/112])

  3. (C)  Tainted Flow Analysis on e-SSA-form Programs (.pdf).
    Andrei Rimsa, Marcelo d'Amorim, and Fernando M. Q. Pereira.
    ETAPS International Conference on Compiler Construction
    (ETAPS CC 2011) Saarbrücken, Germany, March 2011 (accpt. 29% [15/51])

  4. (J)  Randomized Constraint Solvers: A Comparative Study (.pdf).
    Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Prudêncio.
    Innovations in Systems and Software Engineering: a NASA journal
    (ISSE) Volume 6, Number 3, 243-253, September 2010
    (Invited: Selected papers of NFM 2009)

  5. (C)  Efficient Static Checker for Tainted Variable Attacks (.pdf).
    Andrei Rimsa, Marcelo d'Amorim, and Fernando M. Q. Pereira.
    Brazilian Symposium on Programming Languages
    (SBLP 2010) Salvador-Bahia, Brazil, September 2010.
    (Nominated to the list of best papers)

  6. (C)  A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing (.pdf).
    Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Prudêncio.
    NASA Formal Methods Symposium
    (NFM'09). Moffet Field (CA), USA, April 2009. (accpt. 46% [22/47, 22=14 full+8 short])

  7. (C)  An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs (.pdf).
    Critiano Bertolini, Gláucia Peres, Marcelo d'Amorim, Alexandre Mota.
    IEEE International Conference on Software Testing, Verification, and Validation
    (ICST'09). Denver, USA, April, 2009. (accpt. 33%)



Full List