Navigation Menu

Skip to content

lesunb/Implied_Scenarios

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 
 
 

Repository files navigation

Implied Scenarios

This repository contains relevant files used for the paper published at the Journal of Systems and Software and the project named after the paper: Characterization of Implied Scenarios as Families of Common Behavior.

How do I get set up?

Code and Data are in their respective folders, while the modified LTSA-MSC plugin is in this root folder. Each folder contains a readme that better explains their files usage. An overview of the contents is presented below:

Python code

Everything was developed and tested on version 3.6.3, and libraries used are in the requirements file (inside code folder). Note that you need Graphviz installed to be able to use anytree's export method.

How to run this LTSA MSC-plugin version

The provided plugin (mscplugin_mod.jar) is a modified version of the original LTSA-MSC by Uchitel et al. It is able to collect multiple implied scenarios iteratively and export them to a text file. To use it, simply replace the original one in LTSA's plugins folder.

Who do I talk to?

caio[dot]batista[at]gmail[dot]com or genainarodrigues[at]gmail[dot]com

About

Relevant files used for the project 'Characterization of Implied Scenarios as Families of Common Behavior'.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 94.5%
  • TeX 5.5%