B4: Towards Optimal Assessment of Plausible Code Solutions with Plausible Tests

We provide the data and online Appendix for the paper "B4: Towards Optimal Assessment of Plausible Code Solutions with Plausible Tests". File list: Appendix.pdf: including the proofs for the theorems in our paper. data.zip: including datasets and generated code solutions/test cases used for our replicated package, which is available at https://github.com/ZJU-CTAG/B4.