Marta Han's repositories
VyPRServer
A server for central storage and analysis of verdict data obtained during monitoring with VyPR.
automatic-selenium-state-machines
Generate state machines for selenium tests. Worry less about coding interactions, more about coding your assertions!
Language:Python000
home
The VyPR project's website.
Language:HTMLNOASSERTION000
IntegrationTesting
Scripts for integration testing of VyPR.
Language:Python000
OfflineAnalysisNotebooks
Jupyter Notebook with step-by-step explanation of the analysis script that generates plots that compare times taken for a program run to run along different subpaths.
VyPRAnalysis
A self-contained prototype analysis library to use with VyPR-server.
Language:PythonGPL-3.0000
VyPRAnalysisTesting
Script for testing the VyPR analysis library