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

Measuring polymorphism in python programs

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

Πηγή: Proceedings of the 11th Symposium on Dynamic Languages. :114-128

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

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

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

An integrative single-nucleus multiomic atlas of the human left ventricle identifies gene regulatory network dynamics across cardiac development, aging, and disease.

Συγγραφείς: Gao W; Department of Genetics, University of Pennsylvania, Philadelphia, PA, 19104, USA. William.Gao@Pennmedicine.upenn.edu.; Penn Epigenetics Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA. William.Gao@Pennmedicine.upenn.edu.; Penn Institute of Regenerative Medicine, University of Pennsylvania, Philadelphia, PA, 19104, USA. William.Gao@Pennmedicine.upenn.edu.; Penn Cardiovascular Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA. William.Gao@Pennmedicine.upenn.edu.; Medical Scientist Training Program, University of Pennsylvania, Philadelphia, PA, 19104, USA. William.Gao@Pennmedicine.upenn.edu., Hu P; Department of Genetics, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Present Address: Key Laboratory of Exploration and Utilization of Aquatic Genetic Resources, Ministry of Education, Shanghai Ocean University, Shanghai, 201306, China., Wick B; Genomics Institute, University of California, Santa Cruz, Santa Cruz, CA, 95060, USA., Qiu Q; Department of Genetics, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Penn Epigenetics Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Penn Institute of Regenerative Medicine, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Penn Cardiovascular Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA., Zhang H; Department of Genetics, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Penn Epigenetics Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Penn Institute of Regenerative Medicine, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Penn Cardiovascular Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA., Li Y; Department of Genetics, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Penn Epigenetics Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Penn Institute of Regenerative Medicine, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Penn Cardiovascular Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA., Kang X; Department of Genetics, University of Pennsylvania, Philadelphia, PA, 19104, USA., Bedi K; Penn Cardiovascular Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Department of Medicine, University of Pennsylvania, Philadelphia, PA, 19104, USA., Haeussler M; Genomics Institute, University of California, Santa Cruz, Santa Cruz, CA, 95060, USA., Sasaki K; Penn Institute of Regenerative Medicine, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Department of Pathology and Laboratory Medicine, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Department of Biomedical Sciences, University of Pennsylvania, School of Veterinary Medicine, Philadelphia, PA, 19104, USA., Margulies K; Penn Cardiovascular Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA.; Department of Medicine, University of Pennsylvania, Philadelphia, PA, 19104, USA., Wu H; Department of Genetics, University of Pennsylvania, Philadelphia, PA, 19104, USA. haowu2@pennmedicine.upenn.edu.; Penn Epigenetics Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA. haowu2@pennmedicine.upenn.edu.; Penn Institute of Regenerative Medicine, University of Pennsylvania, Philadelphia, PA, 19104, USA. haowu2@pennmedicine.upenn.edu.; Penn Cardiovascular Institute, University of Pennsylvania, Philadelphia, PA, 19104, USA. haowu2@pennmedicine.upenn.edu.

Πηγή: Genome biology [Genome Biol] 2026 Apr 06; Vol. 27 (1). Date of Electronic Publication: 2026 Apr 06.

Τύπος έκδοσης: Journal Article

Στοιχεία περιοδικού: Publisher: BioMed Central Ltd Country of Publication: England NLM ID: 100960660 Publication Model: Electronic Cited Medium: Internet ISSN: 1474-760X (Electronic) Linking ISSN: 14747596 NLM ISO Abbreviation: Genome Biol Subsets: MEDLINE

Ιατρικοί όροι (MeSH): Aging*/genetics , Heart Ventricles*/metabolism , Heart*/growth & development , Heart*/embryology , Heart Diseases*/genetics , Gene Regulatory Networks*, Cell Nucleus/genetics ; Cell Nucleus/metabolism ; Humans ; Multiomics ; Female ; Spatial Transcriptomics ; Single-Cell Gene Expression Analysis ; Gene Expression Regulation, Developmental

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

Tracing dynamic features in python programs

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

Πηγή: Proceedings of the 11th Working Conference on Mining Software Repositories. :292-295

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

Chapter 9 - Program performance optimization

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

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