Author:
Arts Thomas,Castro Laura M.,Hughes John
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generation and Refinement of Testing Models;Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang;2023-08-30
2. Etna: An Evaluation Platform for Property-Based Testing (Experience Report);Proceedings of the ACM on Programming Languages;2023-08-30
3. Computing correctly with inductive relations;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
4. Stack-Driven Program Generation of WebAssembly;Programming Languages and Systems;2020
5. Compositional programming and testing of dynamic distributed systems;Proceedings of the ACM on Programming Languages;2018-10-24