#DSOL
This repository contains information related to the tool DSOL presented at International Conference on Software Engineering, 2012. The tool was originally presented in this [paper] (http://dl.acm.org/citation.cfm?id=2337424).
This repository is not the original repository for this tool. Here are some links to the original project:
- The Official Project Page, including source code
- Additional Information from the Author
- Original Download Link
In this repository, for DSOL you will find:
- ✅ [Source code (available)] (https://github.com/SoftwareEngineeringToolDemos/ICSE-2012-DSOL)
- ❌ The original tool (not available)
- ✅ Virtual machine containing tool
This repository was constructed by Joe Decker under the supervision of Dr. Emerson Murphy-Hill. Thanks to Dr. Leandro Pinto for his help in establishing this repository.