Search Results - (java OR jana) source code check

A study and toolkit of CHECK-THEN-ACT idioms of Java concurrent collections by Lin, Yu, Dig, Danny

“…) concurrent collections. We analyze 28 widely used open‐source Java projects (comprising 6.4 million lines of code…”
Get full text

GRADESTYLE: GitHub-Integrated and Automated Assessment of Java Code Style by Iddon, Callum, Giacaman, Nasser, Terragni, Valerio

“… This paper presents GRADESTYLE, a tool for automatically assessing the code style of Java assignments…”
Get full text

An Implementation of Naming Rule Checking Function and its Applications to Java Programming Codes by Wai, Khaing Hsu, Funabiki, Nobuo, Mentari, Mustika, Aung, Soe Thandar, Kyaw, Htoo Htoo Sandi, Yamaguchi, Shingo, Kao, Wen-Chung

“… them. For evaluations, we applied the proposal to 2, 908 source codes submitted in Java programming courses from students in Okayama University, Japan, Malang State Polytechnic, Indonesia, and Yamaguchi University, Japan…”
Get full text

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs by Jifeng Xuan, Martinez, Matias, DeMarco, Favio, Clement, Maxime, Lamelas Marcote, Sebastian, Durieux, Thomas, Le Berre, Daniel, Monperrus, Martin

“… Second, runtime trace collection is used to collect variables and their actual values, including primitive data types and objected-oriented features (e.g., nullness checks…”
Get full text

Comparing the understandability of iteration mechanisms over Collections in Java by Hnatkowska, Bogumiła, Krych, Bartosz

“…Source code understandability is a desirable quality factor affecting long-term code maintenance…”
Get full text

DiffSearch: A Scalable and Precise Search Engine for Code Changes by Grazia, Luca Di, Bredl, Paul, Pradel, Michael

“…The source code of successful projects is evolving all the time, resulting in hundreds of thousands of code changes stored in source code repositories…”
Get full text

Data Structures in Java by Campesato, Oswald

“… The first chapter contains a quick introduction to Java, along with Java code samples to check for leap years, find divisors of a number, and work with arrays of strings…”
Get full text

Source Code Authorship Identification Using Deep Neural Networks by Kurtukova, Anna, Romanov, Aleksandr, Shelupanov, Alexander

“… The more source code is open, the more the project is open to contributors. The possibility of accidental or deliberate use of someone…”
Get full text

A Credential Usage Study: Flow-Aware Leakage Detection in Open-Source Projects by Han, Ruidong, Gong, Huihui, Ma, Siqi, Li, Juanru, Xu, Chang, Bertino, Elisa, Nepal, Surya, Ma, Zhuo, Ma, Jianfeng

“… We implemented a detection tool, SEAGULL, to automatically check open-source projects based on string literal and code structure information…”
Get full text

Verifying temporal specifications of Java programs by Spegni, Francesco, Spalazzi, Luca, Liva, Giovanni, Pinzger, Martin, Bollin, Andreas

“…Many Java programs encode temporal behaviors in their source code, typically mixing three features provided by the Java language: (1…”
Get full text

Automated refactoring to the Null Object design pattern by Gaitani, Maria Anna G., Zafeiris, Vassilis E., Diamantidis, N.A., Giakoumakis, E.A.

“…•We introduce an algorithm for automated discovery of refactoring opportunities.•We specify refactoring preconditions and the source code transformation procedure…”
Get full text

A Comparative Analysis of Static Code Analysis Tools that check Java Code Adherence to Java Coding Standards by Ashfaq, Qirat, Khan, Rimsha, Farooq, Sehrish

“… Implementing Java Coding standards on Java code has great importance as it creates consistency and as a result better development and maintenance…”
Get full text

Machine Learning for Technical Debt Identification by Tsoukalas, Dimitrios, Mittas, Nikolaos, Chatzigeorgiou, Alexander, Kehagias, Dionysios, Ampatzoglou, Apostolos, Amanatidis, Theodoros, Angelis, Lefteris

“… To alleviate this issue we use 18 metrics pertaining to source code, repository activity, issue tracking, refactorings, duplication and commenting rates of each class as features for statistical…”
Get full text

Is Your Android App Insecure? Patching Security Functions With Dynamic Policy Based on a Java Reflection Technique by Lee, Sung-Hoon, Kim, Seung-Hyun, Hwang, Jung Yeon, Kim, Soohyung, Jin, Seung-Hun

“… security function insertion or misused code patching without the original application (app) source code. Studies on permission control, misused code patching, security function insertion based on static policies, etc…”
Get full text

Static code analysis by Louridas, P.

“… (when it's tested). We use FindBugs, a popular open source static code checker for Java. Static code checkers in Java come in two flavors…”
Get full text

Automated Validation of COBOL to Java Transformation by Kumar, Atul, Saha, Diptikalyan, Yasue, Toshikai, Ono, Kohichi, Krishnan, Saravanan, Hans, Sandeep, Satoh, Fumiko, Mitchell, Gerald, Kumar, Sachin

“…Recent advances in Large Language Model (LLM) based Generative AI techniques have made it feasible to translate enterprise-level code from legacy languages such as COBOL to modern languages such as Java or Python…”
Get full text

Towards Detecting Inconsistent Comments in Java Source Code Automatically by Stulova, Nataliia, Blasi, Arianna, Gorla, Alessandra, Nierstrasz, Oscar

“…A number of tools are available to software developers to check consistency of source code during software evolution…”
Get full text

An Independent Learning System for Flutter Cross-Platform Mobile Programming with Code Modification Problems by Kinari, Safira Adine, Funabiki, Nobuo, Aung, Soe Thandar, Wai, Khaing Hsu, Mentari, Mustika, Puspitaningayu, Pradini

“…Nowadays, with the common use of smartphones in daily lives, mobile applications have become popular around the world, which will lead to a rise in Flutter…”
Get full text

Safe, multiphase bounds check elimination in Java by Gampe, Andreas, von Ronne, Jeffery, Niedzielski, David, Vasek, Jonathan, Psarris, Kleanthis

“…: production of mobile code from source code, just‐in‐time (JIT) compilation in the virtual machine, application method invocations, and the execution of individual array accesses…”
Get full text

An improved mapping method for automated consistency check between software architecture and source code by Chen, Fangwei, Zhang, Li, Lian, Xiaoli

“… Thus, we propose an improved mapping method for automated consistency check between software architecture and Java implementation, with the premises that initial tracing between architecture and code are established…”
Get full text