Publisher
Springer International Publishing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
2. Static stack-preserving intra-procedural slicing of webassembly binaries;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
3. Security risks of porting C programs to webassembly;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25
4. Validating Formal Semantics by Property-Based Cross-Testing;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02