Kim, Y., & Choi, Y. (2024). PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software. Proceedings of the ACM on software engineering, 1(FSE), 293-315. https://doi.org/10.1145/3643740
Chicago-Zitierstil (17. Ausg.)Kim, Yoel, und Yunja Choi. "PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software." Proceedings of the ACM on Software Engineering 1, no. FSE (2024): 293-315. https://doi.org/10.1145/3643740.
MLA-Zitierstil (9. Ausg.)Kim, Yoel, und Yunja Choi. "PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software." Proceedings of the ACM on Software Engineering, vol. 1, no. FSE, 2024, pp. 293-315, https://doi.org/10.1145/3643740.