Boris Gutkovich

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Functional Test Generation with Distribution Constraints.
Proceedings of the Hardware and Software: Verification and Testing, 2009

Constraint-Based Local Search for the Automatic Generation of Architectural Tests.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
Integration of CP and Compilation Techniques for Instruction Sequence Test Generation.
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.
Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

2006
CP with Architectural State Lookup for Functional Test Generation.
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006


  Loading...