Výsledky vyhledávání - Java programs

Compact visualization of Java program execution Autor Jayaraman, S., Jayaraman, B., Lessa, D.

“…Summary The context of this work is a practical, open‐source visualization system, called JIVE, that supports two forms of runtime visualizations of Java programs…”
Získat plný text

Finite‐state model extraction and visualization from Java program execution Autor K. P., Jevitha, Jayaraman, Swaminathan, Jayaraman, Bharat, M, Sethumadhavan

“… In this article, we use the term model extraction to refer to the construction of a finite‐state model from an execution trace of a Java program and a set of key attributes, that is, a subset of the fields of the objects in the program execution…”
Získat plný text

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

“…) exist to deal with Java object-oriented programs. In this paper, we present an incompleteness result proving that these graphs do not produce complete slices…”
Získat plný text

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

“…, if-then-else statements). This approach takes a buggy program as well as a test suite as input and generates a patch with a conditional expression as output…”
Získat plný text

CrowdSummarizer: Automated Generation of Code Summaries for Java Programs through Crowdsourcing Autor 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…”
Získat plný text

Model checking JAVA programs using JAVA PathFinder Autor Havelund, Klaus, Pressburger, Thomas

Získat plný text

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

“…) to rearrange the statements already extant in the buggy program. However, recent empirical studies show that the performance of GenProg is not fully satisfactory, particularly for Java…”
Získat plný text

Casting about in the dark: an empirical study of cast operations in Java programs Autor Mastrangelo, Luis, Hauswirth, Matthias, Nystrom, Nathaniel

“… A type system is formulated as a set of constraints that gives any expression or term in a program a well-defined type…”
Získat plný text

Unlocking the mentally ill in Indonesia: An empirical study of the effectiveness of a “Bebas Pasung” program in Central Java Autor Tyas, Tri Hayuning, Good, Mary-Jo D., Pratikno, Bambang, Subandi, M. A., Marchira, Carla R., Good, Byron J.

“…) from confinement and provided mental health services. This study is an empirical evaluation of the effectiveness of one Bebas Pasung program in Indonesia at two-year follow…”
Získat plný text

FCA–CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs Autor Li, Bixin, Sun, Xiaobing, Keung, Jacky

“…► Propose a new combined CIA approach. ► Impact factor is used to compute final imapct set. ► Experiments show that our CIA approach improves the precision…”
Získat plný text

On the Efficiency of Test Suite based Program Repair A Systematic Assessment of 16 Automated Repair Systems for Java Programs Autor 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…”
Získat plný text

Analyzing syntactic constructs of Java programs with machine learning Autor 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…”
Získat plný text

Framework for testing multi-threaded Java programs Autor Edelstein, Orit, Farchi, Eitan, Goldin, Evgeny, Nir, Yarden, Ratsaby, Gil, Ur, Shmuel

“…Finding bugs due to race conditions in multi‐threaded programs is difficult, mainly because there are many possible interleavings, any of which may contain a fault…”
Získat plný text

Efficient and expressive bytecode-level instrumentation for Java programs Autor 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…”
Získat plný text

An exploratory study on exception handling bugs in Java programs Autor 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…”
Získat plný text

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

“… We have observed that many of the existing RPC frameworks/programs written in Java are based on explicit protocols, which makes them possible to be modelled for static analysis…”
Získat plný text

String Test Data Generation for Java Programs Autor 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…”
Získat plný text

OJXPERF: Featherlight Object Replica Detection for Java Programs Autor 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…”
Získat 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ískat plný text

Java-MaC: A Run-Time Assurance Approach for Java Programs Autor Kim, MoonZoo, Viswanathan, Mahesh, Kannan, Sampath, Lee, Insup, Sokolsky, Oleg

“…We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs…”
Získat plný text