Specstractor is an automated tool chain for the extraction and analysis of system specifications in the form of system invariants. These automatically generated invariants yield useful insight into the actual system behavior and can reveal flaws and missing elements in the developer-maintained specifications.

Specstractor consists of two main components, the Extractor, which automatically extracts invariants from automatically generated test cases of a system using data mining, and Insight, a web based tool that gives the user high level views and visualizations of the resulting invariants.

For information about how to download and use the tools please press the link below or go the wiki page.

Project Samples

Project Activity

See All Activity >

Categories

Software Testing

Follow Specstractor

Specstractor Web Site

Other Useful Business Software
MongoDB Atlas runs apps anywhere Icon
MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Specstractor!

Additional Project Details

Operating Systems

Windows

Intended Audience

Science/Research

Registered

2017-10-20