Crucible
Adam Emerson
Web Designer
Software Engineer
Web Developer
Electron
React
TypeScript
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.
