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

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

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)

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)

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)

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

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)

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

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)

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

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

Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs

Συγγραφείς: Kushigian, Benjamin, Kaufman, Samuel J., Featherman, Ryan, Potter, Hannah, Madadi, Ardi, Just, René

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

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

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations

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

Θεματικοί όροι: Computer Science - Software Engineering, Computer Science - Programming Languages

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

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

Writing Between the Lines: How Novices Construct Java Programs

Συγγραφείς: Brown, Neil C. C., Mac, Victoria, Weill-Tessier, Pierre, Kölling, Michael

Πηγή: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1. :165-171

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

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)

An Approach to Detecting Similar Programs using Instruction Embeddings of Java Programs

Συγγραφείς: Hyun-il Lim

Πηγή: Asia-pacific Journal of Convergent Research Interchange. 11:411-420

BinEq - A Benchmark of Compiled Java Programs to Assess Alternative Builds

Συγγραφείς: Dietrich, Jens, White, Tim, Abdollahpour, Mohammad Mahdi, Wen, Elliott, Hassanshahi, Behnaz

Πηγή: Proceedings of the 2024 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses. :15-25

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