相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Runtime Verification on Hierarchical Properties of ROS-Based Robot Swarms
Chi Hu et al.
IEEE TRANSACTIONS ON RELIABILITY (2020)
A review of mobile robots: Concepts, methods, theoretical framework, and applications
Francisco Rubio et al.
INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS (2019)
A Survey on Metamorphic Testing
Sergio Segura et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2016)
Frama-C: A software analysis perspective
Florent Kirchner et al.
FORMAL ASPECTS OF COMPUTING (2015)
The Oracle Problem in Software Testing: A Survey
Earl T. Barr et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2015)
Model checking linear temporal logic of rewriting formulas under localized fairness
Kyungmin Bae et al.
SCIENCE OF COMPUTER PROGRAMMING (2015)
An Analysis and Survey of the Development of Mutation Testing
Yue Jia et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2011)
Specification and proof in membership equational logic
A Bouhoula et al.
THEORETICAL COMPUTER SCIENCE (2000)