Search Results - Java Source Code Check*

Java Source Code Static Check Eclipse Plug-In Based on Common Design Pattern by Zhang Haotian, Liu Shu

“… This paper proposes a new way to detect design pattern in Java applications by analyzing the java source code…”
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

“… In this paper, we consider four naming rules to write a readable code and implement the naming rule checking function to check whether the given code follows…”
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

Tracking Null Checks in Open-Source Java Systems by Osman, Haidar, Leuenberger, Manuel, Lungu, Mircea, Nierstrasz, Oscar

“… However, a study on understanding null usage is still missing. In this paper we analyze null checks in 810 open-source Java systems and manually inspect 100 code samples to understand when and why developers use null. We find that 35…”
Get full text

A Threshold Selection Method in Code Plagiarism Checking Function for Code Writing Problem in Java Programming Learning Assistant System Considering AI-Generated Codes by Permatasari, Perwira Annissa Dyah, Mentari, Mustika, Kinari, Safira Adine, Aung, Soe Thandar, Funabiki, Nobuo, Kyaw, Htoo Htoo Sandi, Wai, Khaing Hsu

“… The correctness of an answer code is validated by running it on JUnit. In previous works, we implemented a code plagiarism checking function that calculates the similarity score for each pair of answer codes based on the Levenshtein distance…”
Get full text

Code Plagiarism Checking Function and Its Application for Code Writing Problem in Java Programming Learning Assistant System by Htet, Ei Ei, Wai, Khaing Hsu, Aung, Soe Thandar, Funabiki, Nobuo, Lu, Xiqin, Kyaw, Htoo Htoo Sandi, Kao, Wen-Chung

“…A web-based Java programming learning assistant system (JPLAS) has been developed for novice students to study Java programming by themselves while enhancing code reading and code writing skills…”
Get full text

Compilation Techniques for Real-Time Java Programs by Fulton, Mike, Stoodley, Mark

“…). The main focus of this paper is on the various techniques employed by the TR compilers to optimize and regulate the performance of code running in a real-time Java environment through a simple Java source code example…”
Get full text

A Java typestate checker supporting inheritance by Bacchiani, Lorenzo, Bravetti, Mario, Giunti, Marco, Mota, João, Ravara, António

“…), a tool that verifies Java source code with respect to typestates. A typestate defines the object's states, the methods that can be called in each state, and the states resulting from the calls…”
Get full text

Instant and global consistency checking during collaborative engineering by Tröls, Michael Alexander, Marchezan, Luciano, Mashkoor, Atif, Egyed, Alexander

“…, consistency checking between UML models and the source code). Global…”
Get full text

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

Static Architecture-Conformance Checking: An Illustrative Overview by Passos, L, Terra, R, Valente, M T, Diniz, R, Mendonça, N

“…: dependency-structure matrices, source code query languages, and reflexion models. To highlight the similarities and differences between these three techniques…”
Get full text

Styler: learning formatting conventions to repair Checkstyle violations by Loriot, Benjamin, Madeiral, Fernanda, Monperrus, Martin

“… To do so, the source code of a project should be checked against the formatting conventions (or rules…”
Get full text

Checking security compliance between models and code by Tuma, Katja, Peldszus, Sven, Strüber, Daniel, Scandariato, Riccardo, Jürjens, Jan

“… Assuring this compliance manually is labor intensive and can be error-prone. This work introduces the first semi-automatic technique for secure data flow compliance checks between design models and code…”
Get full text

Understanding the implemented access control policy of Android system services with slicing and extended static checking by Mustafa, Tanveer, Sohr, Karsten

“… Since the Android source code is publicly available, the security community has the chance to assess the security mechanisms of Android…”
Get full text

A Framework for Checking Regression Test Selection Tools by Zhu, Chenguang, Legunsen, Owolabi, Shi, August, Gligoric, Milos

“…Regression test selection (RTS) reduces regression testing costs by re-running only tests that can change behavior due to code changes…”
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 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

Specification and automatic checking of architecture constraints on object oriented programs by Kallel, Sahar, Tibermacine, Chouki, Kallel, Slim, Kacem, Ahmed Hadj, Dony, Christophe

“… These constraints can be specified with predicate languages like OCL at design time and checked on design artifacts. Objective…”
Get full text

JCSI: A tool for checking secure information flow in Java Card applications by Avvenuti, Marco, Bernardeschi, Cinzia, De Francesco, Nicoletta, Masci, Paolo

“… ► The tool is downloadable from www.eecs.qmul.ac.uk/~masci/JCSI. This paper describes a tool for checking secure information flow in Java Card applications…”
Get full text

Multi-view city-based approach for code-smell evolution visualisation by Katbi, Abdulkarim, Hammad, Mustafa, Elmedany, Wael

“…Code smells are indicators of inappropriate and possibly harmful design decisions that could lead to issues in the comprehensibility and maintainability of software systems…”
Get full text