共 42 条
- [31] Balancing Security and Correctness in Code Generation: An Empirical Study on Commercial Large Language Models IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTATIONAL INTELLIGENCE, 2025, 9 (01): : 419 - 430
- [35] Verifying Code Generation Tools for the B-Method Using Tests: A Case Study TESTS AND PROOFS, TAP 2015, 2015, 9154 : 76 - 91
- [36] IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY (PETRI NETS 2022), 2022, 13288 : 127 - 138
- [37] Generation of Structural VHDL Code with Library Components from Formal Event-B Models 16TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2013), 2013, : 111 - 118
- [38] Studying the Effect of UML-Based Models on Source-Code Comprehensibility: Results from a Long-Term Investigation PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2015, 2015, 9459 : 311 - 327