Crucible - Desktop App Built w/ React and Electron
Adam Emerson
The Paper
The work related to Crucible was published at ISSRE '23 and the full paper can be found here
What is Crucible?
Crucible is a no-code testing suite designed to streamline the production of AUnit test cases. Crucible is a cross-platform desktop application with support for Windows and MacOS. Crucible comes bundled with V5 of the Alloy Analyzer, which it uses to evaluate tests and provide automated guidance during test creation.
What is AUnit?
AUnit is a testing framework for Alloy. In lieu of ad-hoc validation practices, AUnit establishes a formal specification for unit tests in Alloy.
Like this project
Posted Apr 1, 2024
A desktop application that allows for the creation of no-code unit tests for the software modeling language Alloy. Built with typescript, react, and Mantine.
