Search Results - "python code"
-
1
Source: Computer Science and Application. 16:268-280
-
2
Authors:
Source: ARO-THE SCIENTIFIC JOURNAL OF KOYA UNIVERSITY. 13:215-225
-
3
Authors: et al.
Source: Shivaji, S, Lobakhina, N, Havelund, K, Pinto, A & Cordeiro, L 2026, LLM-Assisted Translation and Bounded Model Checking of Python Code. in 3rd Artificial Intelligence ISoLA.
Subject Terms: code translation, large language models, formal verification, bounded model checking, Python
-
4
Authors:
Source: 2025 4th International Conference on Applied Artificial Intelligence and Computing (ICAAIC). :1578-1584
-
5
Authors:
Source: Journal of the Korea Society of Computer and Information. 30:191-203
-
6
Authors: et al.
Source: IEEE Transactions on Software Engineering. 51:3103-3116
-
7
Authors: et al.
Source: 2025 IEEE International Conference on Software Maintenance and Evolution (ICSME). :393-404
Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering
Access URL: http://arxiv.org/abs/2503.06327
-
8
Authors:
Source: 2025 IEEE International Conference on Software Maintenance and Evolution (ICSME). :368-379
-
9
Authors:
Source: INTERNATIONAL JOURNAL OF SCIENTIFIC RESEARCH IN ENGINEERING AND MANAGEMENT. :1-9
-
10
Authors:
Source: Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering. :46-56
Subject Terms: Performance (cs.PF), Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Computer Science - Performance, Programming Languages (cs.PL)
-
11
Authors:
Source: Lecture Notes in Networks and Systems ISBN: 9783032128263
-
12
Authors:
Source: Cognitive Technologies ISBN: 9783031994012
-
13
Authors: et al.
Source: Anais do XXXIX Simpósio Brasileiro de Engenharia de Software (SBES 2025). :678-684
-
14
Authors: et al.
Source: Jurnal Informatika. 12:75-80
-
15
Authors:
Source: 2025 IEEE International Symposium on Future Telecommunication Technologies (SOFTT). :391-395
-
16
Authors:
Source: 2025 IEEE/ACM 33rd International Conference on Program Comprehension (ICPC). :01-11
Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering
Access URL: http://arxiv.org/abs/2501.17024
-
17
Authors:
Source: International Journal of Software Engineering and Knowledge Engineering. 35:963-986
-
18
Authors: Keerti Kahartmol
Source: International Journal for Research in Applied Science and Engineering Technology. 13:4469-4476
-
19
-
20
Authors:
Source: Punjab University Journal of Mathematics. :770-780
Nájsť tento článok vo Web of Science
Full Text Finder