Search Results - "Java programs"

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs by Jifeng Xuan, Martinez, Matias, DeMarco, Favio, Clement, Maxime, Lamelas Marcote, Sebastian, Durieux, Thomas, Le Berre, Daniel, Monperrus, Martin

“…We propose Nopol, an approach to automatic repair of buggy conditional statements (i.e., if-then-else statements). This approach takes a buggy program as well…”
Get full text

ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming by Yuan, Yuan, Banzhaf, Wolfgang

“… In this paper, we propose ARJA, a new GP based repair approach for automated repair of Java programs…”
Get full text

Program slicing of Java programs by Galindo, Carlos, Pérez, Sergio, Silva, Josep

“…Program slicing is a technique to extract the part of the program that can affect the values computed at a given program point (known as the slicing…”
Get full text

Analyzing syntactic constructs of Java programs with machine learning by Ortin, Francisco, Facundo, Guillermo, Garcia, Miguel

“…The massive number of open-source projects in public repositories has notably increased in the last years. Such repositories represent valuable information to…”
Get full text

On the Efficiency of Test Suite based Program Repair A Systematic Assessment of 16 Automated Repair Systems for Java Programs by Liu, Kui, Wang, Shangwen, Kisub Kim, Anil Koyuncu, Bissyande, Tegawende F., Kim, Dongsun, Wu, Peng, Klein, Jacques, Mao, Xiaoguang, Traon, Yves Le

“…Test-based automated program repair has been a prolific field of research in software engineering in the last decade. Many approaches have indeed been…”
Get full text

Efficient and expressive bytecode-level instrumentation for Java programs by Soueidi, Chukri, Monnier, Marius, Falcone, Yliès

“…We present an efficient and expressive tool for the instrumentation of Java programs at the bytecode level. BISM…”
Get full text

An exploratory study on exception handling bugs in Java programs by Ebert, Felipe, Castor, Fernando, Serebrenik, Alexander

“…•We study exception handling bugs from two real systems.•We survey developers to understand their thoughts about exception handling bugs.•Analysis of bug…”
Get full text

Static Analysis of Remote Procedure Call in Java Programs by Cui, Baoquan, Qu, Rong, Tang, Zhen, Zhang, Jian

“…The Remote Procedure Call (RPC) is commonly used for inter-process communications over network, allowing a program to invoke a procedure in another address…”
Get full text

String Test Data Generation for Java Programs by Wang, Miaomiao, Cui, Baoquan, Yan, Jiwei, Yan, Jun, Zhang, Jian

“…Appropriate string test data generation is important for program testing. Complex string APIs combinations are commonly used to handle string parameters…”
Get full text

OJXPERF: Featherlight Object Replica Detection for Java Programs by Li, Bolun, Xu, Hao, Zhao, Qidong, Su, Pengfei, Chabbi, Milind, Jiao, Shuyin, Liu, Xu

“…Memory bloat is an important source of inefficiency in complex production software, especially in software written in managed languages such as Java. Prior…”
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

The ThreadRadar visualization for debugging concurrent Java programs by Moseler, Oliver, Kreber, Lucas, Diehl, Stephan

“…Due to non-deterministic behavior and thread interleaving of concurrent programs, the debugging of concurrency and performance issues is a rather difficult and…”
Get full text

Extracting finite state representation of Java programs by Sen, Tamal, Mall, Rajib

“…We present a static analysis-based technique for reverse engineering finite state machine models from a large subset of sequential Java programs…”
Get full text

CrowdSummarizer: Automated Generation of Code Summaries for Java Programs through Crowdsourcing by Badihi, Sahar, Heydarnoori, Abbas

“… However, generating code summaries can be challenging. To mitigate this problem, CrowdSummarizer exploits crowdsourcing, gamification, and natural-language processing to automatically generate high-level summaries of Java program methods…”
Get full text

Inferring visual contracts from Java programs by Alshanqiti, Abdullah, Heckel, Reiko, Kehrer, Timo

“…Visual contracts model the operation of components or services by pre- and post-conditions formalised as graph transformation rules. They provide a precise…”
Get full text

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY by Abbasi, Rosa, Schiffl, Jonas, Darulova, Eva, Ulbrich, Mattias, Ahrendt, Wolfgang

“…Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for…”
Get full text

Flexible resource monitoring of Java programs by Eichelberger, Holger, Schmid, Klaus

“…•SPASS-meter, a novel tool for online monitoring of components of software systems.•Components can be defined declaratively through interfaces (annotations or…”
Get full text

Performance Analysis and Improvement for CRUD Operations in Relational Databases from Java Programs Using JPA, Hibernate, Spring Data JPA by Bonteanu, Alexandru Marius, Tudose, Cătălin

“…The role of databases is to allow for the persistence of data, no matter if they are of the SQL or NoSQL type. In SQL databases, data are structured in a set…”
Get full text

Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs by Zhang, Chenxi, Liang, Yufei, Tan, Tian, Xu, Chang, Kan, Shuangxiang, Sui, Yulei, Li, Yue

“… While JNI mechanism significantly enhances the Java platform's capabilities, it also presents challenges for static analysis of Java programs due to the complex behaviors introduced by native code…”
Get full text

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation by Zhang, Yang, Shao, Shuai, Liu, Huan, Qiu, Jing, Zhang, Dongwen, Zhang, Guanghua

“…Developers of parallel programming are faced with choices of using various Java locks. Choosing the best lock is a challenging task because a multithreaded…”
Get full text