-
1Conference
Authors: Wang, Yueqin, Wu, Jingzheng, Ling, Xiang, Luo, Tianyue, Wang, Xu
Source: 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)
-
2Academic Journal
Authors: V.V. Samarov
Source: Надежность и качество сложных систем, Iss 2 (2023)
Subject Terms: certification tests of software products, dynamic code analysis of python programs, control of completeness and lack of redundancy at the level of files and functional objects, code profiling for dynamic analysis, Motor vehicles. Aeronautics. Astronautics, TL1-4050
File Description: electronic resource
Relation: https://doaj.org/toc/2307-4205
-
3Conference
Authors: Eghbali, Aryaz, Pradel, Michael
Source: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :760-771
Availability: http://dl.acm.org/doi/10.1145/3540250.3549126
-
4Academic Journal
Authors: Zong, Xing, Zheng, Shang ⁎, Zou, Haitao, Yu, Hualong, Gao, Shang
Linked Full TextSource: In Science of Computer Programming December 2024 238
-
5Academic Journal
Authors: Ercole, Loris a, b, Bertossa, Riccardo b, Bisacchi, Sebastiano b, c, Baroni, Stefano b, d, ⁎
Linked Full TextSource: In Computer Physics Communications November 2022 280
-
6Academic Journal
Authors: Wu, Yong-Chao a, Shao, Jian-Li a, b, ⁎
Linked Full TextSource: In Computer Physics Communications September 2023 290
-
7Academic Journal
Authors: Camino, Bruno a, ⁎, Zhou, Huanyu b, Ascrizzi, Eleonora c, Boccuni, Alberto c, Bodo, Filippo c, d, Cossard, Alessandro c, Mitoli, Davide c, Ferrari, Anna Maria c, Erba, Alessandro c, Harrison, Nicholas M. b, ⁎
Linked Full TextSource: In Computer Physics Communications November 2023 292
-
8Conference
-
9Conference
Authors: Hora, Andre
Source: 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)
-
10Academic Journal
Authors: Mukut, Khaled Mosharraf a, Roy, Somesh a, ⁎, Goudeli, Eirini b
Linked Full TextSource: In Computer Physics Communications July 2022 276
-
11Academic Journal
Authors: Cea, Alvaro ⁎, Palacios, Rafael
Linked Full TextSource: In Computer Physics Communications June 2025 311
-
12
Contributors: Biblioteca Digital do IPB
Subject Terms: E-Learning tool, System programming, Concurrent programming, Code instrumentation, Inspector functions, JSON, Konva JS, Canvas, Python, React JS, BPMN
File Description: application/pdf
Availability: http://hdl.handle.net/10198/29615
-
13Academic Journal
Authors: Malpica Galassi, Riccardo
Linked Full TextSource: In Computer Physics Communications July 2022 276
-
14Academic Journal
Authors: Hecht, Lukas ⁎, Dormann, Kay-Robert, Spanheimer, Kai Luca, Ebrahimi, Mahdieh, Cordts, Malte, Mandal, Suvendu, Mukhopadhyay, Aritra K., Liebchen, Benno ⁎
Linked Full TextSource: In Computer Physics Communications April 2025 309
-
15Academic Journal
Authors: Fojt, Jakub a, Rossi, Tuomas P. b, Erhart, Paul ⁎, a
Linked Full TextSource: In Computer Physics Communications May 2026 322
-
16Academic Journal
Authors: Castaño Usuga, Fabian Andres a, b, c, ⁎
Linked Full TextSource: In Computer Physics Communications October 2025 315
-
17Book
Authors: Monat, Raphaël, Ouadjaout, Abdelraouf, Miné, Antoine
Contributors: Monat, Raphaël
Source: 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 AnalysisSubject Terms: 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]
File Description: application/pdf
-
18Academic Journal
Authors: Harris, Bradley a, Liu, Gang-yu b, Faller, Roland a, ⁎
Linked Full TextSource: In Computer Physics Communications January 2023 282
-
19Academic Journal
Authors: Hasegawa, Koshi, Saito, Hayato, Sato, Naiki, Fukui, Ryohei
Source: Journal of Medical Physics; Apr-Jun2026, Vol. 51 Issue 2, p394-402, 9p
-
20Academic Journal
Authors: Lusher, David J. a, ⁎, Sansica, Andrea a, Sandham, Neil D. b, Meng, Jianping c, 1, Siklósi, Bálint d, b, Hashimoto, Atsushi a
Linked Full TextSource: In Computer Physics Communications February 2025 307