Skip to content

kairav/ICSE-2012-Spy-Runtime

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

15 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ICSE-2012-Spy-Runtime

This repository contains information related to the tool Spy@Runtime presented at International Conference on Software Engineering, 2012. The tool was originally presented in this paper

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
The Tool on the Visual Studio Gallery
A Video of the Tool

In this repository for Spy@Runtime, you will find:

✅ Source code (available)
✅ The original tool (available)

Instructions to Run -
-Follow the steps given in the Tool website.
-Use ./run-spy-quick.sh -w it.polimi.dei.spy.wrappers.StorageServiceClientViewWrapper storageServerClient.StorageServiceClientView for Model generation and ./run-monitoring.sh config/monitoring-storageservice.xml storageServerClient.StorageServiceClientGUIToMonitor command to enable Monitoring facility instead of using the corresponding commands given in the website.

This repository was constructed by Sindhu Vairavel under the supervision of Emerson Murphy-Hill. Thanks to Mario Sangiorgio and Andrea Mocci for their help in establishing this repository.

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Roff 67.2%
  • Erlang 23.1%
  • JavaScript 5.0%
  • HTML 1.8%
  • Python 1.3%
  • Makefile 0.9%
  • Other 0.7%