Related resources*
A Bibliography of Papers on Symbolic Execution Technique and its Applications
- Genetic Programming Bibliography
*these resources are not maintained by CREST, but are closely related to our research and may also be useful to other researchers and practitioners who also work on areas related to CREST.
This page was last modified on 23 August, 2012
+44 (0)20 7679 7214 - Copyright © 1999-2012 UCL