cooked-validators is a Haskell library to write offchain code and conduct testing activities over Cardano smart contracts. One of its main features is to create fully-fledged transactions from simple declarative skeletons.

Embark with the High Assurance Software Group for a guided tour through the stages of a smart-contract audit, secret weapon included.

On a previous post, we explained how to write tests for stateful systems using traces — sequences of stateful actions — that can be combined and modified to write complex test cases easily and transparently. This post elaborates on the combinators used to generate new traces from…

How to automatically inject attacks and faults in safety tests using random traces.