Effective Test Execution for Software Product Lines (slides), Sabrina Souto, Dagstuhl Seminar, Saarbrücken, Germany, Feb 2012.
Automated Software Testing: Projects and Challenges (slides), Marcelo d'Amorim, on visit of Prof Ralf Lämmel to UFPE, 2012.
Symbolic Execution with Interval Constraint Solving and Meta-Heuristic Search (slides), Corina Pasareanu, ICST, Montreal, Canada. April 2012.
Improved Symbolic Execution with the CORAL Constraint Solver (slides), Marcelo d'Amorim visiting University of Waterloo, SUNY at Buffalo, and Iowa State University, 2012.
Ongoing Research (slides, video), Marcelo d'Amorim, on visit of Prof. Mira Mezini to UFPE, 2012.
Fault-localization Using Dynamic Slicing and Change-Impact Analysis (slides, poster), Marcelo d'Amorim, ASE 2011, Lawrence (KS), USA.
Optimized Delta Execution for Efficient Mutation Testing (slides), Marcelo d'Amorim, ASE-SOTA 2011, Mountain View (CA), USA, Jul. 2011.
CORAL: Solving Complex Constraints for Symbolic PathFinder (slides), Marcelo d'Amorim, NFM 2011, Pasadena (CA), USA, Apr. 2011.
Ongoing research (slides), Marcelo d'Amorim, visiting Fernando Pereira at PLL Lab, UFMG, Minas Gerais, Brazil, Dec. 2010.
Randomized Constraint Solving of Floating Point Constraints (slides), Marcelo d'Amorim, visiting Corina Pasareanu at NASA Ames, Mountain View (CA), USA. Aug. 2010.
        ↑ [[ in reverse chronological order, after 2010 ]] ↑
... PhD defense, Marcelo d'Amorim, University of Illinois, August 2007....