| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 4 |      | Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich: Constraint-Based Local Search for the Automatic Generation of Architectural Tests. CP 2009: 787-801 |
| 3 | | Anna Moss, Boris Gutkovich: Functional Test Generation with Distribution Constraints. Haifa Verification Conference 2009: 34-51 |
| 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 |
| 1 | Asa Ben-Tzur | [1] |
| 2 | Carleton Coffrin | [4] |
| 3 | Pascal Van Hentenryck | [4] |
| 4 | Anna Moss | [3] |
| 5 | Wei Qin | [1] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page