TESTING THE DYNAMIC EXECUTION OF PYTHON PROGRAM CODE DURING THE CERTIFICATION TESTING (DEVELOPMENT) STAGE IN THE CERTIFICATION SYSTEM OF THE MINISTRY OF DEFENSE OF RUSSIA

Συγγραφείς: V.V. Samarov

Πηγή: Надежность и качество сложных систем, Iss 2 (2023)

Θεματικοί όροι: certification tests of software products, 9. Industry and infrastructure, 4. Education, code profiling for dynamic analysis, dynamic code analysis of python programs, control of completeness and lack of redundancy at the level of files and functional objects, TL1-4050, 16. Peace & justice, Motor vehicles. Aeronautics. Astronautics

Σύνδεσμος πρόσβασης: https://doaj.org/article/17c480a498a44ff5b1681dc8eb177136

PyReach: A Multi-Agent Framework for Vulnerability Reachability Analysis in Python

Συγγραφείς: Wang, Yueqin, Wu, Jingzheng, Ling, Xiang, Luo, Tianyue, Wang, Xu

Πηγή: 2025 32nd Asia-Pacific Software Engineering Conference (APSEC) APSEC Software Engineering Conference (APSEC), 2025 32nd Asia-Pacific. :173-183 Dec, 2025

Relation: 2025 32nd Asia-Pacific Software Engineering Conference (APSEC)

DynaPyt: a dynamic analysis framework for Python

Συγγραφείς: Eghbali, Aryaz, Pradel, Michael

Πηγή: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :760-771

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3540250.3549126

GraphPyRec: A novel graph-based approach for fine-grained Python code recommendation

Συγγραφείς: Zong, Xing, Zheng, Shang ^⁎, Zou, Haitao, Yu, Hualong, Gao, Shang

Πηγή: In Science of Computer Programming December 2024 238

SpotFlow: Tracking Method Calls and States at Runtime

Συγγραφείς: Hora, Andre

Πηγή: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ICSE-COMPANION Software Engineering: Companion Proceedings (ICSE-Companion), 2024 IEEE/ACM 46th International Conference on. :35-39 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

Automatic and Dynamic Visualization of Process-Based Concurrent Programs

Συγγραφείς: Farina, Daniel Augusto Rodrigues, Campiolo, Rodrigo, Rufino, José, Pereira, Maria João

Συνεισφορές: Biblioteca Digital do IPB

Θεματικοί όροι: E-Learning tool, System programming, Concurrent programming, Code instrumentation, Inspector functions, JSON, Konva JS, Canvas, Python, React JS, BPMN

Περιγραφή αρχείου: application/pdf

Διαθεσιμότητα: http://hdl.handle.net/10198/29615

Localizer: A Visual Debugging Assistant for Python Programs

Συγγραφείς: Khan, Shehroz, Sudheerbabu, Gaadha, Truscan, Dragos, Ahmad, Tanwir

Πηγή: Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques. :34-35

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3678720.3685321

A Scaffolded Approach for Tracing Control-Flow in Simplified Python Programs

Συγγραφείς: Kulindala, Gnaneswar, Srikanth, Anushka, Choppella, Venkatesh

Πηγή: Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 1. :51-57

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3724363.3729044

Measuring polymorphism in python programs

Συγγραφείς: Åkerblom, Beatrice, Wrigstad, Tobias

Πηγή: ACM SIGPLAN Notices - DLS '15. 51(2):114-128

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/2936313.2816717

A Multilanguage Static Analysis of Python Programs with Native C Extensions

Συγγραφείς: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine

Συνεισφορές: Monat, Raphaël

Πηγή: Lecture Notes in Computer Science ISBN: 9783030888053
Static Analysis-28th International Symposium, SAS 2021
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis

Θεματικοί όροι: Multilanguage Analysis, Abstract Interpretation, Static Analysis, 0202 electrical engineering, electronic engineering, information engineering, Dynamic Programming Language, 02 engineering and technology, Formal Methods, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hal.archives-ouvertes.fr/hal-03313409/file/paper.pdf
https://hal.science/hal-03313409v1

Measuring Polymorphism in Python Programs

Συγγραφείς: Åkerblom, Beatrice, Author, Wrigstad, Tobias, Author

Συνεισφορές: Åkerblom, Beatrice, Author, Wrigstad, Tobias, Author

Πηγή: SIGPLAN notices. 51(2):114-128

Θεματικοί όροι: Python, dynamic languages, polymorphism, trace-based analysis

Περιγραφή αρχείου: print

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-131566

rhodent: A python package for analyzing real-time TDDFT response

Συγγραφείς: Fojt, Jakub, 1996, Author, Rossi, T. P., Author, Erhart, Paul, 1978, Author

Συνεισφορές: Fojt, Jakub, 1996, Author, Rossi, T. P., Author, Erhart, Paul, 1978, Author

Πηγή: Plasmon-exciton coupling at the attosecond-subnanometer scale: Tailoring strong light-matter interactions at room temperature Fasbeteende och elektroniska egenskaper hos halogenid-perovskiter från simulering på atomskala Computer Physics Communications Data for rhodent: A Python package for analyzing real-time TDDFT response. 322

Θεματικοί όροι: Nanoparticle, Hot carrier, Plasmon, Time-dependent density functional theory

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: https://research.chalmers.se/publication/550897
https://research.chalmers.se/publication/550897/file/550897_Fulltext.pdf

An empirical study of large language models for type and call graph analysis in Python and JavaScript.

Συγγραφείς: Venkatesh, Ashwin Prasad Shivarpatna, Sunil, Rose, Sabu, Samkutty, Mir, Amir M., Reis, Sofia, Bodden, Eric

Πηγή: Empirical Software Engineering; Dec2025, Vol. 30 Issue 6, p1-50, 50p

Security Evaluation of AI-Generated Code: A Comparative Study of ChatGPT, Copilot, And Gemini through Static and Dynamic Analysis.

Συγγραφείς: Ceran, Onur

Πηγή: Gazi Journal of Engineering Sciences (GJES) / Gazi Mühendislik Bilimleri Dergisi; Aug2025, Vol. 11 Issue 2, p304-320, 17p

Θεματικοί όροι: Generative artificial intelligence, Computer software security, ChatGPT, Computer software development, Web-based user interfaces

NAS Parallel Benchmarks with Python: a performance and programming effort analysis focusing on GPUs.

Συγγραφείς: Di Domenico, Daniel, Lima, João V. F., Cavalheiro, Gerson G. H.

Πηγή: Journal of Supercomputing; May2023, Vol. 79 Issue 8, p8890-8911, 22p

Θεματικοί όροι: Python programming language, FORTRAN, C++

Collective Intelligence for Smarter API Recommendations in Python

Συγγραφείς: D Souza, Andrea Renika

Θεματικοί όροι: Computer science, API Recommendations, API Usage Mining, Code completion, Dynamic languages, Program Analysis, Python

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/9gj3z9j0
https://escholarship.org/content/qt9gj3z9j0/qt9gj3z9j0.pdf

Hybrid Information Flow Analysis for Python Bytecode

Συγγραφείς: Chen, Zhifei, Chen, Lin, Xu, Baowen

Πηγή: 2014 11th Web Information System and Application Conference Web Information System and Application Conference (WISA), 2014 11th. :95-100 Sep, 2014

Relation: 2014 11th Web Information System and Application Conference (WISA)

VASPKIT: A user-friendly interface facilitating high-throughput computing and analysis using VASP code

Συγγραφείς: Wang, Vei, Xu, Nan, Liu, Jin-Cheng, Tang, Gang, Geng, Wen-Tong

Πηγή: Computer Physics Communications, 267, 108033 (2021-10)

Θεματικοί όροι: Elastic mechanics, Electronic properties, High-throughput, Molecular dynamics, Optical properties, Wave-function, Command line, High-throughput analysis, Input files, Interactive user interfaces, Optical-, Property, User friendly interface, Hardware and Architecture, Physics and Astronomy (all), Physics - Materials Science, General Physics and Astronomy, Engineering, computing & technology, Materials science & engineering, Ingénierie, informatique & technologie, Science des matériaux & ingénierie

Relation: https://api.elsevier.com/content/article/PII:S0010465521001454?httpAccept=text/xml; urn:issn:0010-4655; urn:issn:1879-2944

Σύνδεσμος πρόσβασης: https://orbi.uliege.be/handle/2268/289854

Chapter 9 - Program performance optimization

Συγγραφείς: Sun, Qiming

Πηγή: In Theoretical and Computational Chemistry 2025 23:305-394

SporTran: A code to estimate transport coefficients from the cepstral analysis of (multivariate) current time series

Συγγραφείς: Ercole, Loris ^{a, b}, Bertossa, Riccardo ^b, Bisacchi, Sebastiano ^{b, c}, Baroni, Stefano ^{b, d, ⁎}

Πηγή: In Computer Physics Communications November 2022 280