Publications of the Atomyste project

Readers that are unfamiliar with the topic are advised to read the Roadmap for Action Refinement in Testing article first.

Presentations of the Atomyste project



An overview of all publications by the Formal Methods and Tool group
can be found at the main publication index page.



This page contain selected publications. To the best of our best knowledge, full papers can be downloaded only if we are owner of the copyrights. Whenever possible, we try to link to the publisher's site where you can download an electronic version of the paper. When you are interested in a paper, that is not supplied online via this page, please contact (one of) the author(s). Also check the personal homepage(s) of the author(s), since an electronic version may be available there. If you notice a violation of copyrights, please contact us. The responsibility of each occurrence of a publication item on this site remains with the author(s).

This page was last updated on 2006-09-28