Publisher
Springer International Publishing
Reference43 articles.
1. Android Docs: Camera API (2020). https://developer.android.com/guide/topics/media/camera
2. Belli, F., Beyazıt, M., Endo, A.T., Mathur, A., Simao, A.: Fault domain-based testing in imperfect situations: a heuristic approach and case studies. Softw. Qual. J. 23(3), 423–452 (2014). https://doi.org/10.1007/s11219-014-9242-6
3. Bielova, N., Massacci, F.: Do you really mean what you actually enforced? Int. J. Inf. Secur. 10, 239–254 (2011)
4. Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. 3, 178–187 (1978)
5. Lecture Notes in Computer Science;Y Dai,2009
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic testing of runtime enforcers with Test4Enforcers;Journal of Systems and Software;2024-04
2. On first-order runtime enforcement of branching-time properties;Acta Informatica;2023-08-03
3. Non-functional Testing of Runtime Enforcers in Android;Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles;2022