Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas;2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC);2022-06
2. MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation;Journal of Systems and Software;2021-11
3. Translating code comments to procedure specifications;Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis;2018-07-12
4. Automatic generation of oracles for exceptional behaviors;Proceedings of the 25th International Symposium on Software Testing and Analysis;2016-07-18
5. POU-Oriented Unit Testing of IEC 61131-3 Control Software;IEEE Transactions on Industrial Informatics;2015-10