This repository contains information related to the tool Titan presented in 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 you will find:
- ❌ Source code (not available)
- ❌ Executable tool (not available)
- ❌ Virtual machine containing tool (not available)
This repository was constructed by Chris Brown under the supervision of Emerson Murphy-Hill. Thanks to Lu Xiao and Yuanfang Cai for providing their tool to us for this project and their help establishing this repository.