Cited By
View all- Valle PArrieta AHan LAli SYue T(2025)Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systemsSoftware and Systems Modeling10.1007/s10270-025-01271-8Online publication date: 14-Feb-2025
- Xu CChen SWu JCheung STerragni VZhu HCao JFilkov VRay BZhou M(2024)MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic TestingProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3696020(557-569)Online publication date: 27-Oct-2024
- Zhang XLiu YArcaini PJiang MZheng Z(2024)MET-MAPF: A Metamorphic Testing Approach for Multi-Agent Path Finding AlgorithmsACM Transactions on Software Engineering and Methodology10.1145/366966333:8(1-37)Online publication date: 12-Jun-2024
- Show More Cited By