Author:
Arts Thomas,Hughes John,Johansson Joakim
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects;Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang;2024-08-28
2. Natural Symbolic Execution-Based Testing for Big Data Analytics;Proceedings of the ACM on Software Engineering;2024-07-12
3. Property-Based Testing in Practice;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
4. Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving;ACM Transactions on Software Engineering and Methodology;2023-11-23
5. How Developers Implement Property-Based Tests;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01