Search Results - (java OR jana) source code check*

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

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

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

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

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

JRF-E: using model checking to give advice on eliminating memory model-related bugs by Kim, Kyung Hee, Yavuz-Kahveci, Tuba, Sanders, Beverly A.

“… Executions that are not sequentially consistent may exhibit surprising behavior such as operations on a thread occurring in a different order than indicated by the source code, or different threads…”
Get full text

The accuracy of dependency analysis in static architecture compliance checking by Pruijt, Leo, Köppe, Christian, Werf, Jan Martijn, Brinkkemper, Sjaak

“…Summary Architecture compliance checking (ACC) is an approach to verify conformance of implemented program code to high…”
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