ICSE-2014-semSMT

This repository contains information related to the tool semSMT, International Conference on Software Engineering 2014. The tool was originally presented in this paper.

This repository is not the original repository for this tool.

• Original Project Webpage

In this repository, for semSMT you will find:

• :x: Source code (not available)
• :x: Executable tool (not available)
• :x: Virtual machine containing tool (not available)

This repository was constructed by Craig Kimpel under the supervision of Emerson Murphy-Hill.