Marcelo d'Amorim

	2011
17		Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim: Fault-localization using dynamic slicing and change impact analysis. ASE 2011: 520-523
16		Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira: Tainted Flow Analysis on e-SSA-Form Programs. CC 2011: 124-143
15		Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu: CORAL: Solving Complex Constraints for Symbolic PathFinder. NASA Formal Methods 2011: 359-374
	2010
14		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)
13		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)
	2009
12		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
	2008
11		Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid: State extensions for java pathfinder. ICSE 2008: 863-866
10		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)
	2007
9		Marcelo d'Amorim, Steven Lauterburg, Darko Marinov: Delta execution for efficient state-space exploration of object-oriented programs. ISSTA 2007: 50-60
	2006
8		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
7		Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov: Optimized Execution of Deterministic Blocks in Java PathFinder. ICFEM 2006: 549-567
6		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)
	2005
5		Marcelo d'Amorim, Grigore Rosu: Efficient Monitoring of omega-Languages. CAV 2005: 364-378
4		Marcelo d'Amorim, Klaus Havelund: Event-based runtime verification of java programs. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
3		Marcelo d'Amorim, Grigore Rosu: An Equational Specification for the Scheme Language. J. UCS 11(7): 1327-1348 (2005)
	2004
2		Feng Chen, Marcelo d'Amorim, Grigore Rosu: A Formal Monitoring-Based Framework for Software Development and Analysis. ICFEM 2004: 357-372
	2001
1		Marcelo d'Amorim, Carlos André Guimarães Ferraz: A Design for JTrader, an Internet Trading Service. IICS 2001: 159-166

Coauthor Index

1	Elton Alves	[17]
2	Cristiano Bertolini	[12]
3	Mateus Borges	[15]
4	Diego Cavalcanti	[14]
5	Feng Chen	[2] [6]
6	Michael D. Ernst	[8]
7	Carlos André Guimarães Ferraz	[1]
8	Rohit Gheyi	[14]
9	Milos Gligoric	[11] [17]
10	Tihomir Gvero	[11]
11	Klaus Havelund	[4]
12	Jennifer C. Hou (Chao-Ju Hou)	[13]
13	Juliano Iyoda	[14]
14	Vilas Jagannath	[17]
15	Sarfraz Khurshid	[11]
16	Steven Lauterburg	[9] [10] [11]
17	Darko Marinov	[7] [8] [9] [10] [11] [13]
18	Alexandre Mota (Alexandre Cabral Mota)	[12]
19	Carlos Pacheco	[8]
20	Corina S. Pasareanu	[15]
21	Fernando Magno Quintão Pereira	[16]
22	Glaucia Peres	[12]
23	Ricardo Bastos Cavalcante Prudêncio	[14]
24	Andrei Rimsa	[16]
25	Grigore Rosu	[2] [3] [5] [6]
26	Ahmed Sobeih	[7] [13]
27	Matheus Souza	[15]
28	Mitsuo Takaki	[14]
29	Mahesh Viswanathan	[13]
30	Tao Xie	[8]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page