Author:
Androutsopoulos Kelly,Gold Nicolas,Harman Mark,Li Zheng,Tratt Laurence
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reverse-Engineering EFSMs with Data Dependencies;Testing Software and Systems;2022
2. Verification Approach for Refactoring Transformation Rules of State-Based Models;IEEE Transactions on Software Engineering;2021
3. Correctly Slicing Extended Finite State Machines;From Lambda Calculus to Cybersecurity Through Program Analysis;2020
4. [Research Paper] Fine-Grained Model Slicing for Rebel;2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM);2018-09
5. Static slicing of Use Case Maps requirements models;Software & Systems Modeling;2018-06-07