Crash vulnerability tests for Badger using the ALICE framework - View it on GitHub