Author:
Harel D.,Lachover H.,Naamad A.,Pnueli A.,Politi M.,Sherman R.,Shtull-Trauring A.,Trakhtenbrot M.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
497 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Natural Language to Code: How Far Are We?;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network;Proceedings of the ACM on Programming Languages;2023-10-16
3. Formalizing UML State Machines for Automated Verification – A Survey;ACM Computing Surveys;2023-07-13
4. Pseudocode to Code Based on Adaptive Global and Local Information;2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER);2023-03
5. Advanced testing and debugging support for reactive executable DSLs;Software and Systems Modeling;2022-09-25