A Domain Specific Language for Testing Consensus Implementations.

Cezara Dragoi Constantin Enea Srinidhi Nagendra Mandayam Srivas

Published in: CoRR (2023)

Keyphrases

test cases
efficient implementation
image processing
website
multi agent systems
trade off
mobile robot
test data
test suite
software testing