One of the most effective resources for learning application programming interfaces (APIs) is code examples. The shortage of such examples can pose a significant learning obstacle for API users. API users desire simpl...
详细信息
Information technology has been widely applied in various fields, driving the modernization of logistics information management in China. The integration of business and information technology in smart logistics manag...
详细信息
The adoption of mimic dynamic heterogeneous redundancy architecture is an important means to achieve endogenous security in information systems, which can be used to defend against known and unknown vulnerabilities an...
详细信息
Large language Models (LLMs), such as ChatGPT, hold immense potential to irrevocably influence the dimension of educational technology by providing empowerment for personalized learning experiences. This paper covers ...
详细信息
Every programminglanguage has its own style conventions and best practices, which help developers to write readable and maintainable code. Learning code style is an essential skill that every professional software en...
详细信息
ISBN:
(纸本)9798350322590
Every programminglanguage has its own style conventions and best practices, which help developers to write readable and maintainable code. Learning code style is an essential skill that every professional software engineer should master. As such, students should develop good habits for code style early on, when they start learning how to program. Unfortunately, manually assessing students' code with timely and detailed feedback is often infeasible, and professional static analysis tools are unsuitable for educational contexts. This paper presents GRADESTYLE, a tool for automatically assessing the code style of java assignments. GRADESTYLE automatically checks for violations of some of the most important Google java Style conventions, and java best practices. Students receive a report with a code style mark, a list of violations, and their source code locations. GRADESTYLE nicely integrates with GitHub and GitHub Classroom, and can be configured to provide continuous feedback every time a student pushes new code. We adopted our tool in a second-year software engineering programming course with 327 students and observed consistent improvements in the code style of their assignments.
This paper represents a cross-language and cross-tool investigation of tools and techniques for static code analysis focused on basic software complexity metrics such as: McCabe Cyclomatic Complexity, Halstead, and Ma...
详细信息
java Ranger is a path-merging tool for java Programs. It identifies branching regions of code and summarizes them by generating a disjunctive logical constraint that describes the behavior of the code region. Previous...
详细信息
ISBN:
(纸本)9783031308192;9783031308208
java Ranger is a path-merging tool for java Programs. It identifies branching regions of code and summarizes them by generating a disjunctive logical constraint that describes the behavior of the code region. Previously, java Ranger showed that a reduction of 70% of execution paths is possible when used to merge branching regions of code that support numeric constraints. In this paper, we describe the support of two additional features since participation in SV-COMP 2020: symbolic array and symbolic string operations. Finally, we present a preliminary evaluation of the effect of the structure of the disjunctive constraint on the solver's performance. Results suggest that certain constraint structures can speed up the performance of java Ranger.
This study examines the impact of tokenized java code length on the accuracy and explicitness of ten major LLMs in vulnerability detection. Using chi-square tests and known ground truth, we found inconsistencies acros...
详细信息
Try Location Detection (TLD) and Catch Exception Prediction (CEP) are two interrelated tasks in runtime exception handling which is a crucial aspect in javaprogramming. The performance of each task can significantly ...
详细信息
The popularization of AI technology, yes the emerging technology represented by deep learning and neural network has gradually become an important tool for solving complex problems. Specifically, in the application fi...
详细信息
暂无评论