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 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
- The Binary & Source Code can be Downloaded from the Download Page
In this repository, for PSPWizard you will find:
- ✅ Source code 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.
- ✅ Binary Distribution 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.
- ✅ Virtual machine containing tool The Virtual Machine Disk image can be downloaded from the above link and directly imported into Virtual Box to start the Virtual Machine which contains the tool PSPWizard.
- ✅ [Virtual Machine containing Tool using Vagrant] (https://github.com/SoftwareEngineeringToolDemos/FSE-2011-PSPWizard/tree/master/build_vm) This allows you to create a Virtual Machine using Vagrant & Virtual box which contains the tool PSPWizard.
This repository was constructed by Manav Verma under the supervision of Dr. Emerson Murphy-Hill. Thanks to Dr.Markus Lumpe, Dr.Indika Meedeniya and Dr.Lars Grunske for their help in establishing this repository.