Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marcelo d'Amorim
2010 – today
- 2012
[c13]Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu: Symbolic Execution with Interval Solving and Meta-heuristic Search. ICST 2012: 111-120- 2011
- [c12]Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira: Tainted Flow Analysis on e-SSA-Form Programs. CC 2011: 124-143
- [c11]Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim: Fault-localization using dynamic slicing and change impact analysis. ASE 2011: 520-523
- [c10]Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu: CORAL: Solving Complex Constraints for Symbolic PathFinder. NASA Formal Methods 2011: 359-374
- 2010
- [j6]Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio: Randomized constraint solvers: a comparative study. ISSE 6(3): 243-253 (2010)
- [j5]Ahmed Sobeih, Marcelo d'Amorim, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou: Assertion Checking in J-Sim Simulation Models of Network Protocols. Simulation 86(11): 651-673 (2010)
2000 – 2009
- 2009
- [c9]Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota: An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. ICST 2009: 21-30
- [c8]Mitsuo Takaki, Diego Cavalcanti, Rohit Gheyi, Juliano Iyoda, Marcelo d'Amorim, Ricardo Bastos Cavalcante Prudêncio: A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing. NASA Formal Methods 2009: 56-65
- 2008
- [j4]Marcelo d'Amorim, Steven Lauterburg, Darko Marinov: Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs. IEEE Trans. Software Eng. 34(5): 597-613 (2008)
- [c7]Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid: State extensions for java pathfinder. ICSE 2008: 863-866
- 2007
- [c6]Marcelo d'Amorim, Steven Lauterburg, Darko Marinov: Delta execution for efficient state-space exploration of object-oriented programs. ISSTA 2007: 50-60
- 2006
- [j3]Feng Chen, Marcelo d'Amorim, Grigore Rosu: Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP. Electr. Notes Theor. Comput. Sci. 144(4): 3-20 (2006)
- [c5]Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov: Optimized Execution of Deterministic Blocks in Java PathFinder. ICFEM 2006: 549-567
- [c4]Marcelo d'Amorim, Carlos Pacheco, Tao Xie, Darko Marinov, Michael D. Ernst: An Empirical Comparison of Automated Generation and Classification Techniques for Object-Oriented Unit Testing. ASE 2006: 59-68
- 2005
- [j2]Marcelo d'Amorim, Grigore Rosu: An Equational Specification for the Scheme Language. J. UCS 11(7): 1327-1348 (2005)
- [j1]Marcelo d'Amorim, Klaus Havelund: Event-based runtime verification of java programs. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
- [c3]
- 2004
- [c2]Feng Chen, Marcelo d'Amorim, Grigore Rosu: A Formal Monitoring-Based Framework for Software Development and Analysis. ICFEM 2004: 357-372
- 2001
- [c1]Marcelo d'Amorim, Carlos André Guimarães Ferraz: A Design for JTrader, an Internet Trading Service. IICS 2001: 159-166
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:25 CET by the dblp team