- Symbolic Execution with Interval Constraint Solving and Meta-heuristic Search. (TO APPEAR)
Mateus Borges,
Marcelo d'Amorim
Saswat Anand,
David Bushnell,
Corina Păsăreanu.
IEEE International Conference on Software Testing, Verification and Validation (accpt. 27% [39/145])
(ICST 2012), Montreal, CA, April 2012
- 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])
slides from the presentation.
- Randomized Constraint Solvers: A Comparative Study (.pdf).
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Prudencio.
Innovations in Systems and Software Engineering: a NASA journal (ISSE) Volume 6, Number 3, 243-253, September 2010.
(Invited: Selected papers of NFM 2009, published September 2010).
- A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing (.pdf).
Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Prudencio.
In 1st NASA Formal Methods Symposium (NFM'09). Moffet Field (CA), USA, April, 2009. (accpt. 46% {14 full+8 short/47 submissions})