This repository contains information related to the tool PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
The tool was originally presented in this [Paper](http://dl.acm.org/citation.cfm?doid=2025113.2025193) at Foundations of Software Engineering, 2011.
This repository is NOT the original repository for this tool.
Here is the link to the [Original Project Page](http://www.ict.swin.edu.au/personal/mlumpe/PSPWizard/index.html)
The Binary & Source Code can be Downloaded from the [Download Page](http://www.ict.swin.edu.au/personal/mlumpe/PSPWizard/download.html)
In this repository, for PSPWizard you will find:
✅ [Source code (available)](https://github.com/SoftwareEngineeringToolDemos/FSE-2011-PSPWizard/tree/master/PSPWizard%20Src)
PSPWizard has been developed in netbeans 8 using Java 7. The source archive contains a complete netbeans project. To build it, just import it into your current netbeans workspace.
✅ [The original tool (available)](https://github.com/SoftwareEngineeringToolDemos/FSE-2011-PSPWizard/tree/master/PSPWizard%20Bin/bin)
The binary distribution comprises of PSPWizard's Java jar-archives and system-specific application scripts to run PSPWizard as a stand-alone application. To start PSPWizard, invoke PSPWizard (Mac) or PSPWizard.bat (Windows) in the bin directory without any arguments. PSPWizard requires the Java 7 execution environment.
This repository was constructed by [Manav Verma](https://github.com/mverma4) under the supervision of [Dr. Emerson Murphy-Hill](https://github.com/CaptainEmerson). Thanks to Dr.Markus Lumpe, Dr.Indika Meedeniya and Dr.Lars Grunske for their help in establishing this repository.