Boris Gutkovich

According to our database, Boris Gutkovich authored at least 5 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Functional Test Generation with Distribution Constraints.

Anna Moss, Boris Gutkovich

Proceedings of the Hardware and Software: Verification and Testing, 2009

Constraint-Based Local Search for the Automatic Generation of Architectural Tests.

Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Integration of CP and Compilation Techniques for Instruction Sequence Test Generation.

Boris Gutkovich

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007

An ADL for Functional Specification of IA32.

Wei Qin, Asa Ben-Tzur, Boris Gutkovich

Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

2006

CP with Architectural State Lookup for Functional Test Generation.

Boris Gutkovich, Anna Moss

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006