Search Results - java (source OR resource) 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

Lightweight and modular resource leak checking (extended version) by Shadab, Narges, Gharat, Pritam, Tiwari, Shrey, Ernst, Michael D., Kellogg, Martin, Lahiri, Shuvendu K., Lal, Akash, Sridharan, Manu

“… it. Resource leaks cause resource starvation, slowdowns, and crashes. Previous techniques to prevent resource leaks are either unsound, imprecise, inapplicable to existing code, slow, or a combination…”
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

Statically Checking Web API Requests in JavaScript by Wittern, Erik, Ying, Annie T. T., Yunhui Zheng, Dolby, Julian, Laredo, Jim A.

“… Traditional compile-time error checking, such as calling a non-existent method in Java, are not available for checking whether such requests comply with the requirements of a web API…”
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

Efficient runtime metaprogramming services for Java by Lagartos, Ignacio, Redondo, Jose Manuel, Ortin, Francisco

“…•JMPLib consumes fewer memory resources than the rest of implementations for the JVM. The Java programming language and platform provide many optimizations to execute statically typed code efficiently…”
Get full text

Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android by Bartel, Alexandre, Klein, Jacques, Monperrus, Martin, Le Traon, Yves

“…A common security architecture is based on the protection of certain resources by permission checks (used e.g…”
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