Boris Gutkovich

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Anna Moss, Boris Gutkovich
Functional Test Generation with Distribution Constraints. Haifa Verification Conference (2009)
Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich
Constraint-Based Local Search for the Automatic Generation of Architectural Tests. CP (2009)
Boris Gutkovich
Integration of CP and Compilation Techniques for Instruction Sequence Test Generation. CPAIOR (2008)
Wei Qin, Asa Ben-Tzur, Boris Gutkovich
An ADL for Functional Specification of IA32. MTV (2007)
Boris Gutkovich, Anna Moss
CP with Architectural State Lookup for Functional Test Generation. HLDVT (2006)