CP with Architectural State Lookup for Functional Test Generation. - Boris Gutkovich; Anna Moss (HLDVT, 2006)

An ADL for Functional Specification of IA32. - Wei Qin; Asa Ben-Tzur; Boris Gutkovich (MTV, 2007)

Integration of CP and Compilation Techniques for Instruction Sequence Test Generation. - Boris Gutkovich (CPAIOR, 2008)

Constraint-Based Local Search for the Automatic Generation of Architectural Tests. - Pascal Van Hentenryck; Carleton Coffrin; Boris Gutkovich (CP, 2009)

Functional Test Generation with Distribution Constraints. - Anna Moss; Boris Gutkovich (Haifa Verification Conference, 2009)