Strengthening inferred specifications using search based testing

Kamran Ghani, JA Clark

Computer Science

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

Original language	English
Publication status	Published - 2008

Access to Document

http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=4567006

Other files and links

Link to publication in Scopus

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

Cite this