https://github.com/christimperley/specminers.py

A simple Python wrapper around several popular specification mining tools
https://github.com/christimperley/specminers.py

analysis daikon invariants texada

Last synced: 3 months ago
JSON representation

A simple Python wrapper around several popular specification mining tools

• Host: GitHub
• URL: https://github.com/christimperley/specminers.py
• Owner: ChrisTimperley
• License: mit
• Created: 2019-04-26T15:22:34.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2020-04-15T21:43:39.000Z (about 6 years ago)
• Last Synced: 2025-02-22T21:22:54.410Z (over 1 year ago)
• Topics: analysis, daikon, invariants, texada
• Language: BlitzBasic
• Homepage:
• Size: 1.63 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 10
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# SpecMiners.py

[![Build Status](https://travis-ci.com/ChrisTimperley/SpecMiners.py.svg?branch=master)](https://travis-ci.com/ChrisTimperley/SpecMiners.py)

A set of Python wrappers around several popular specification miners,

including Daikon (https://plse.cs.washington.edu/daikon)

and Texada (https://bitbucket.org/bestchai/texada).