Quantifying Student Mistakes and Misconceptions of the Run-Time Memory Layout of Java Programs

Συγγραφείς: Pham, Michelle Le, Schreib, Rebecca

Πηγή: Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education V. 1. :2-8

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

Precise LLM-based Semantic Slicing for Deadlock Detection in Concurrent Java Programs

Συγγραφείς: Martin, Taythir G, Podorozhny, Rodion, Ahmed, Shibbir

Πηγή: Proceedings of the 2026 34th IEEE/ACM International Conference on Program Comprehension. :448-452

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

Improving Automated Program Verification for Java Programs with Fuzzing

Συγγραφείς: Hussein, Soha, McCamant, Stephen

Πηγή: 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) ASEW Automated Software Engineering Workshops (ASEW), 2025 40th IEEE/ACM International Conference on. :153-160 Nov, 2025

Relation: 2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)

Conanj: Confidential Data Analysis for Confidential Computing of Java Programs

Συγγραφείς: Miao, Xinyuan, Chen, Yuting, Lin, Ziyi

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

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

Dynamic and Static Code Analysis for Java Programs on Heterogeneous Hardware

Συγγραφείς: Stratikopoulos, Athanasios, Zuo, Tianyu, Harbalioglu, Umut Sarp, Fumero, Juan, Papadimitriou, Michail, Papadakis, Orion, Xekalaki, Maria, Kotselidis, Christos

Πηγή: Proceedings of the 22nd ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. :107-113

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

Using Large Language Models to Extract UML Class Diagrams from Java Programs

Συγγραφείς: Siala, Hanan Abdulwahab, Lano, Kevin

Πηγή: 2025 8th International Conference on Software and System Engineering (ICoSSE) ICOSSE Software and System Engineering (ICoSSE), 2025 8th International Conference on. :70-74 Apr, 2025

Relation: 2025 8th International Conference on Software and System Engineering (ICoSSE)

DyCITO+: Scalable Deep Reinforcement Learning for Generating Class Integration Test Orders of Java Programs

Συγγραφείς: Ding, Y., Zhang, Y., Yuan, G., Jiang, S., Dai, W., Baresi, L.

Πηγή: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 52(5):1688-1703 May, 2026

Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs

Συγγραφείς: Zhang, Chenxi, Liang, Yufei, Tan, Tian, Xu, Chang, Kan, Shuangxiang, Sui, Yulei, Li, Yue

Πηγή: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2025 IEEE/ACM 47th International Conference on. :1089-1100 Apr, 2025

Relation: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)

Static Analysis of Remote Procedure Call in Java Programs

Συγγραφείς: Cui, Baoquan, Qu, Rong, Tang, Zhen, Zhang, Jian

Πηγή: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2025 IEEE/ACM 47th International Conference on. :1101-1113 Apr, 2025

Relation: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)

StriCT-Bj:A String Constraint Benchmark from Real Java Programs

Συγγραφείς: Zhang, Chi, Zhang, Jian

Πηγή: 2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) SANER Software Analysis, Evolution and Reengineering (SANER), 2025 IEEE International Conference on. :418-429 Mar, 2025

Relation: 2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

Leveraging LLMs for abstracting UML and OCL representations from Java and Python programs

Συγγραφείς: Siala, Hanan Abdulwahab ^⁎, Lano, Kevin

Πηγή: In The Journal of Systems & Software August 2026 238

MemStep: An Interactive Tool for Constructing and Visualizing the Run-Time Memory Layout of Java Programs

Συγγραφείς: Pham, Michelle Le, Nguyen, Anna, Schreib, Rebecca

Πηγή: Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1. :541-547

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

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs

Συγγραφείς: Khakpour, Narges, Berthier, Nicolas

Θεματικοί όροι: Cryptography and Security, Formal Languages and Automata Theory, Programming Languages, Software Engineering

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2512.20396

LLM-Based Java Concurrent Program to ArkTS Converter

Συγγραφείς: Liu, Runlin, Lin, Yuhang, Hu, Yunge, Zhang, Zhe, Gao, Xiang

Πηγή: 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2024 39th IEEE/ACM International Conference on. :2403-2406 Oct, 2024

Relation: 2024 39th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Automated Unit Test Generation For Java Programs Using Fuzzing

Συγγραφείς: Stepanov, Daniil, Ivanov, Dmitry

Πηγή: 2023 Ivannikov Ispras Open Conference (ISPRAS) Ivannikov Ispras Open Conference (ISPRAS), 2023. :157-162 Dec, 2023

Relation: 2023 Ivannikov Ispras Open Conference (ISPRAS)

JCWIT: A Correctness-Witness Validator for Java Programs Based on Bounded Model Checking

Συγγραφείς: Cheng, Zaiyu, Wu, Tong, Schrammel, Peter, Tihanyi, Norbert, de Lima Filho, Eddie B., Cordeiro, Lucas C.

Πηγή: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :1831-1835

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

An Automated Program Repair Method Using Atomic Replacement for Java Programs

Συγγραφείς: Nguyen, Thi-Huyen, Nguyen, Van-Hoan, Tran, Hoang-Viet, Hung, Pham Ngoc

Πηγή: 2022 RIVF International Conference on Computing and Communication Technologies (RIVF) Computing and Communication Technologies (RIVF), 2022 RIVF International Conference on. :358-363 Dec, 2022

Relation: 2022 RIVF International Conference on Computing and Communication Technologies (RIVF)

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY

Συγγραφείς: Abbasi, Rosa, Author, Schiffl, Jonas, Author, Darulova, Eva, Author, Ulbrich, Mattias, Author, Ahrendt, Wolfgang, Author

Συνεισφορές: Abbasi, Rosa, Author, Schiffl, Jonas, Author, Darulova, Eva, Author, Ulbrich, Mattias, Author, Ahrendt, Wolfgang, Author

Πηγή: International Journal on Software Tools for Technology Transfer. 25:185-204

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

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-510144
https://doi.org/10.1007/s10009-022-00691-x

Generating Trace Table for Java Programs

Συγγραφείς: Kishikawa, Masateru, Ohtsuki, Mika, Kakeshita, Tetsuro

Πηγή: 2022 12th International Congress on Advanced Applied Informatics (IIAI-AAI) IIAI-AAI Advanced Applied Informatics (IIAI-AAI), 2022 12th International Congress on. :200-207 Jul, 2022

Relation: 2022 12th International Congress on Advanced Applied Informatics (IIAI-AAI)

A journey among Java neutral program variants

Συγγραφείς: Harrand, Nicolas, Author, Allier, Simon, Author, Rodriguez-Cancio, Marcelino, Author, Monperrus, Martin, Author, Baudry, Benoit, Author

Συνεισφορές: Harrand, Nicolas, Author, Allier, Simon, Author, Rodriguez-Cancio, Marcelino, Author, Monperrus, Martin, Author, Baudry, Benoit, Author

Πηγή: Genetic Programming and Evolvable Machines. 20(4):531-580

Θεματικοί όροι: Neutral program variant, Program transformation, Java, Code plasticity

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

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-264174
https://doi.org/10.1007/s10710-019-09355-3