Overture Traces

Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression testing on the model. This project is related to the OvertureTool project.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Overture Traces

Overture Traces Web Site

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

The database for AI-powered applications.

MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.

Start Free

Rate This Project

User Reviews

Be the first to post a review of Overture Traces!

Additional Project Details

User Interface

Command-line, Eclipse

Programming Language

Java

Related Categories

Java UML Tool, Java Software Testing Tool, Java Documentation Software, Java Code Generators, Java Design Software

Registered

2009-01-11

Similar Business Software

Boozang

Build. Test. Automate. Empower your whole team to build and maintain automated tests, not just developers. Meet your testing demands fast. Get full test coverage in days, not months. Our natural-language tests are extremely stable to code changes. When tests break our AI will repair it in...

See Software
Usetrace

Usetrace is a software testing automation platform that provides performance monitoring, load testing, and regression testing for small and mid-sized businesses. This code-free editor is used by web product development teams to build robust test cases across multiple browsers. Usetrace also...

See Software
MarathonITE

MarathonITE makes it easy to create GUI tests. You can quickly automate your functional tests and regression tests. MarathonITE has an open and flexible architecture based on open source projects like Marathon, Ruby and Selenium. MarathonITE makes creating, maintaining and executing automated...

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
Google AI Studio

Google AI Studio is a comprehensive, web-based development environment that democratizes access to Google's cutting-edge AI models, notably the Gemini family, enabling a broad spectrum of users to explore and build innovative applications. This platform facilitates rapid prototyping by providing...

See Software
LambdaTest

LambdaTest is a cloud-based testing platform that provides developers with tools to perform automated and manual cross-browser testing, mobile app testing, and visual regression testing. It supports over 3,000 browser versions and real devices, ensuring seamless performance across platforms....

See Software