The jStar Eclipse Plug-in
=============================

There is a tutorial for the plugin:
   doc/jstar eclipse tutorial/jstar eclipse tutorial.pdf

For more information, see [http://www.jstarverifier.org](https://web.archive.org/web/20141217130023/http://jstarverifier.org/)
___
This repository contains information related to the tool jStar-Eclipse presented in Foundations of Software Engineering, 2011. The tool was originally presented in this [paper](http://www.cl.cam.ac.uk/~mb741/papers/fse11.pdf).

This repository <b><i>IS NOT</i></b> the original repository for this tool. Here are some links to the original project:

* [A Video of the Tool](https://www.youtube.com/watch?v=2QRbdlppgrk)
* [jStar-Eclipse plugin](https://github.com/seplogic/jstar-eclipse/tree/master/com.jstar.eclipse.update.site)
* [jStar repository](https://github.com/seplogic/jstar)
* [Corestar repository](https://github.com/seplogic/corestar)

In this repository, for jStar-Eclipse you will find:

* :white_check_mark: Source code (available [here](https://github.com/SoftwareEngineeringToolDemos/FSE-2011-jstar-eclipse/tree/master/com.jstar.eclipse/src/com/jstar/eclipse)
* :white_check_mark: The original tool (available [here](https://github.com/SoftwareEngineeringToolDemos/FSE-2011-jstar-eclipse/tree/master/com.jstar.eclipse.update.site))<br>
* :white_check_mark: Binaries (available [here](https://github.com/SoftwareEngineeringToolDemos/FSE-2011-jstar-eclipse/tree/master/bin))
* :white_check_mark: [Virtual machine containing tool](http://go.ncsu.edu/SE-tool-VMs)

This repository was constructed by [Sumeet Agarwal](https://github.com/sumeet29) under the supervision of [Dr. Emerson Murphy-Hill](https://github.com/CaptainEmerson).<br>
Thanks to Daiva Naudziuniene, Matko Botincan, Dino Distefano, Mike Dodds, Radu Grigore and Matthew Parkinson for their help in establishing this repository.
