[abstract | PDF | BibTeX | example applications ]
- in Proc. ICSE 2011
[ abstract | PDF | BibTeX ]
- presented at STOP'12
[abstract | PDF | BibTeX]
- in Proc. ESEC/FSE 2013
- The full source code for Artemis is now available!
Disclaimer: this is a research prototype, not a finished product. If you have questions about how the tool may be used and whether it may fit certain purposes - or if you are interested in research collaborations related to the tool, please send us an email.
The tool is being developed at Center for Advanced Software Analysis, at Aarhus University. (A previous version of the tool was made in collaboration with the Program Analysis and Transformation group at IBM Research.)