Suchergebnisse - java (source OR resource) code check*

An Implementation of Naming Rule Checking Function and its Applications to Java Programming Codes von 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 …”
Volltext

Lightweight and modular resource leak checking (extended version) von 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 …”
Volltext

A Threshold Selection Method in Code Plagiarism Checking Function for Code Writing Problem in Java Programming Learning Assistant System Considering AI-Generated Codes von 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 …”
Volltext

Code Plagiarism Checking Function and Its Application for Code Writing Problem in Java Programming Learning Assistant System von 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 …”
Volltext

A Java typestate checker supporting inheritance von 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 …”
Volltext

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

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

Statically Checking Web API Requests in JavaScript von 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 …”
Volltext

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

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

Static Architecture-Conformance Checking: An Illustrative Overview von 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 …”
Volltext

Efficient runtime metaprogramming services for Java von 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 …”
Volltext

Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android von 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 …”
Volltext

Verifying temporal specifications of Java programs von 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 …”
Volltext

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

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

Checking security compliance between models and code von 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 …”
Volltext

Understanding the implemented access control policy of Android system services with slicing and extended static checking von 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 …”
Volltext

A Framework for Checking Regression Test Selection Tools von 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 …”
Volltext

Static code analysis von 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 …”
Volltext

Automated refactoring to the Null Object design pattern von 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 …”
Volltext

Specification and automatic checking of architecture constraints on object oriented programs von 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 …”
Volltext

JCSI: A tool for checking secure information flow in Java Card applications von 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 …”
Volltext