Výsledky vyhľadávania - java (source OR resource) code check*

An Implementation of Naming Rule Checking Function and its Applications to Java Programming Codes Autor 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…”
Získať plný text

Lightweight and modular resource leak checking (extended version) Autor 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…”
Získať plný text

A Threshold Selection Method in Code Plagiarism Checking Function for Code Writing Problem in Java Programming Learning Assistant System Considering AI-Generated Codes Autor 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…”
Získať plný text

Code Plagiarism Checking Function and Its Application for Code Writing Problem in Java Programming Learning Assistant System Autor 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…”
Získať plný text

A Java typestate checker supporting inheritance Autor 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…”
Získať plný text

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

“…, consistency checking between UML models and the source code). Global…”
Získať plný text

Statically Checking Web API Requests in JavaScript Autor 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…”
Získať plný text

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

“…) concurrent collections. We analyze 28 widely used open‐source Java projects (comprising 6.4 million lines of code…”
Získať plný text

Static Architecture-Conformance Checking: An Illustrative Overview Autor 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…”
Získať plný text

Efficient runtime metaprogramming services for Java Autor 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…”
Získať plný text

Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android Autor 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…”
Získať plný text

Verifying temporal specifications of Java programs Autor 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…”
Získať plný text

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

“… To do so, the source code of a project should be checked against the formatting conventions (or rules…”
Získať plný text

Checking security compliance between models and code Autor 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…”
Získať plný text

Understanding the implemented access control policy of Android system services with slicing and extended static checking Autor 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…”
Získať plný text

A Framework for Checking Regression Test Selection Tools Autor 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…”
Získať plný text

Static code analysis Autor 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…”
Získať plný text

Automated refactoring to the Null Object design pattern Autor 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…”
Získať plný text

Specification and automatic checking of architecture constraints on object oriented programs Autor 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…”
Získať plný text

JCSI: A tool for checking secure information flow in Java Card applications Autor 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…”
Získať plný text