DRAFT Reversible DAGs: Autogeneration of Test Cases with Inductive Logic | Spencer | ObservableDRAFT Reversible DAGs: Autogeneration of Test Cases with Inductive Logic | Spencer | Observable