Specstractor

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 >

Follow Specstractor

Specstractor Web Site

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

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

Similar Business Software

Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software
MuukTest

Are bugs slipping through your QA process and frustrating your customers? Catching issues early shouldn’t mean overwhelming your team with time-consuming tests. With MuukTest’s AI-driven platform, growing engineering teams reach 95% end-to-end test coverage in just 3 months, delivering quality...

See Software
QA Wolf

Whether you're shipping web or mobile apps, QA Wolf has you covered. We build automated end-to-end tests for 80% of your user flows in weeks, maintain them 24 hours a day, and provide unlimited parallel test runs on our infrastructure. Did we mention that we guarantee zero flakes? We do that...

See Software
T-Plan Robot

T-Plan Robot automates scripted user actions for Test Automation or Robotic Process Automation (RPA) on Mac, Windows Linux & Mobile. T-Plan develops and sells two main toolsets. 1) Test Automation and 2) Robotic Process Automation (RPA). T-Plan Robot is a highly flexible, easy to use,...

See Software
aqua cloud

aqua is an AI-powered advanced Test Management System designed to make the QA process painless. It is ideal for enterprises and SMBs across various sectors, although aqua was initially designed specifically for regulated industries like Fintech, MedTech and GovTech. aqua cloud helps to: -...

See Software
Testeum

Tired of bugs and poor UX going unnoticed despite thorough internal testing? Testeum is the SaaS crowdtesting platform that connects mobile and web app creators with carefully selected testers based on your criteria. Test at any stage, from prototype to production, with self-service options...

See Software