Boris Gutkovich

	2009
3		Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich: Constraint-Based Local Search for the Automatic Generation of Architectural Tests. CP 2009: 787-801
	2008
2		Boris Gutkovich: Integration of CP and Compilation Techniques for Instruction Sequence Test Generation. CPAIOR 2008: 313-317
	2007
1		Wei Qin, Asa Ben-Tzur, Boris Gutkovich: An ADL for Functional Specification of IA32. MTV 2007: 119-127

Coauthor Index

1	Asa Ben-Tzur	[1]
2	Carleton Coffrin	[3]
3	Pascal Van Hentenryck	[3]
4	Wei Qin	[1]

Colors in the list of coauthors