José Miguel Rojas
From MaRDI portal
Person:2848905
Available identifiers
zbMath Open rojas.jose-miguelMaRDI QIDQ2848905
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| A CLP heap solver for test case generation | 2014-02-27 | Paper |
| A Framework for Guided Test Case Generation in Constraint Logic Programming | 2013-09-13 | Paper |
| Resource-Driven CLP-Based Test Case Generation | 2013-03-13 | Paper |
Research outcomes over time
This page was built for person: José Miguel Rojas
