This repository contains information related to the tool Aalta presented at Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2014. The tool was originally presented in this paper.
This repository is not the original repository for this tool. Here are some links to the original project:
In this repository, for Aalta you will find:
-
✅ Source code (available)
-
✅ [The original tool] (https://github.com/SoftwareEngineeringToolDemos/FSE-2014-Aalta/tree/master/) (available)
-
❌ A slightly modified version of the tool Dheeraj Shetty got working (not available)
This repository was constructed by Dheeraj Shetty under the supervision of Emerson Murphy-Hill.Thanks to Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang and Jifeng He for their help in establishing this repository.