Schick
Our paper on random testing of Scilla interpreter and compiler with QuickChick (co-authored with Tram Hoang, Anton Trunov, and Leonidas Lampropoulos) will appear at ICFP’22.
Our paper on random testing of Scilla interpreter and compiler with QuickChick (co-authored with Tram Hoang, Anton Trunov, and Leonidas Lampropoulos) will appear at ICFP’22.