APA (7th ed.) Citation

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 Style (17th ed.) Citation

Kim, Yoel, and 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 (9th ed.) Citation

Kim, Yoel, and 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.