Strengthening inferred specifications using search based testing

Kamran Ghani, JA Clark

Computer Science

Research output: Contribution to conference › Paper › peer-review

1 results

Finished

SEBASE: SEBASE: Software Engineering by Automated Search
Clark, J. A. (Principal investigator)
EPSRC
28/06/06 → 4/07/12
Project: Research project (funded) › Research