Automatic Test Generation

Brought to you by: jwhitney1979

Add a Review

Downloads: 0 This Week

Last Update: 2013-02-27

Download

Get an email when there's a new version of Automatic Test Generation

AutoTestGen is a wrapper for the AlloyAnalyzer that provides a framework for translating Alloy models into test cases.

Project Activity

See All Activity >

Follow Automatic Test Generation

Automatic Test Generation Web Site

Other Useful Business Software

Build Securely on AWS with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

Rate This Project

User Reviews

Be the first to post a review of Automatic Test Generation!

Additional Project Details

Registered

2004-03-21

Report inappropriate content

Try Google Cloud Risk-Free With $300 in Credit

No hidden charges. No surprise bills. Cancel anytime.

Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.

Start Free

Recommended Projects

Grafana Alloy
OpenTelemetry Collector distribution with programmable pipelines
Light Alloy
Light Alloy is a media player for Windows
SW Test Automation Framework
The Software Testing Automation Framework (STAF) is a framework designed to improve the level of reuse and automation in test cases and test environments. The goal of STAF is to provide a complete end-to-end automation solution for testers.
USB Test
A lightweight Windows CLI utility for testing USB drives
OpenGLide
OpenGLide is a Glide to OpenGL wrapper. It emulates a Voodoo board so you can run old Windows Glide games by translating Glide calls into OpenGL. The CVS code moved to https://github.com/fcbarros/openglide.