eXplode

eXplode is a storage system checker. It contains a generic model checker for real code instead of abstract models. Using this model checker, eXplode can systematically check a storage system against many possible crashes to find crash-recovery errors.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow eXplode

eXplode Web Site

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Rate This Project

User Reviews

Be the first to post a review of eXplode!

Additional Project Details

Intended Audience

Advanced End Users, Developers, Information Technology

User Interface

Command-line

Programming Language

C, C++

Related Categories

C++ Software Testing Tool, C++ Storage Software, C++ File Systems, C Software Testing Tool, C Storage Software, C File Systems

Registered

2008-10-21

Similar Business Software

whatsmydns.net

whatsmydns.net lets you instantly perform a DNS lookup to check a domain name's current IP address and DNS record information against multiple nameservers located in different parts of the world. You can test changes made to new or existing domains and see if they have been updated correctly...

See Software
Warmy

Warmy.io is a tool designed to enhance email deliverability by raising your email reputation to ensure your emails avoid the spam folder. The platform offers automated warm-up with the help of "Adeline", their AI engine. Users can connect their mailbox and let the system warm it up at an...

See Software
IQM Studio

IQM Studio is the technology at the heart of our Integrated Quality Management process that's comprised of our IQM Modeling and IQM Scripting features. Use IQM Modeling's powerful test generation algorithm to automate test design in our Cause Effect Models (CEM) – taking the guesswork out of...

See Software
Innoslate

SPEC Innovations’ flagship model-based systems engineering solution can help your team reduce time-to-market, cost, and risk on even some of the most complex systems. This cloud or on-premise application uses a modern web browser, with an intuitive graphical user interface. Innoslate’s full...

See Software
SureSync

SureSync Pro is a file replication and synchronization application that provides one-way and multi-way processing in both scheduled and real-time modes. The Communications Agent provides real-time monitors, delta copies via Remote Differential Compression, TCP communications, compression, and...

See 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