Search Results - "Java Programs"

Bugs.jar: a large-scale, diverse dataset of real-world Java bugs by Saha, Ripon K., Lyu, Yingjun, Lam, Wing, Yoshida, Hiroaki, Prasad, Mukul R.

“…We present Bugs.jar, a large-scale dataset for research in automated debugging, patching, and testing of Java programs. Bugs.jar is comprised of 1,158 bugs and…”
Get full text

A Rule-Based Approach for Animating Java Algorithms by Sharaf, Nada, Abdennadher, Slim, Fruhwirth, Thom

“…Over the past years, visualization of programs has been widely applied. Algorithm animation was proven to aid in teaching and learning. It provides a…”
Get full text

Integrating Evolutionary Testing with Reinforcement Learning for Automated Test Generation of Object‐Oriented Software by He, Wei, Zhao, Ruilian, Zhu, Qunxiong

“…Recent advances in evolutionary test generation greatly facilitate the testing of Object‐oriented (OO) software. Existing test generation approaches are still…”
Get full text

Light-weight resource leak testing based on finalisers by Dai, Ziying, Mao, Xiaoguang

“…Despite garbage collectors, programmers must manually manage many non-memory ‘finite system resources’ such as file descriptors and database connections…”
Get full text

Test suite prioritisation using trace events technique by Rajarathinam, Kavitha, Natarajan, Sureshkumar

“…The size of the test suite and the duration of time determines the time taken by the regression testing. Conversely, the testers can prioritise the test cases…”
Get full text

Towards Using LLMs in the Reverse Engineering of Software Systems to Object Constraint Language by Siala, Hanan A., Lano, Kevin

“…Using reverse engineering to extract semantic representations from software systems is beneficial for the understanding of these systems, and can facilitate…”
Get full text

Using Large Language Models to Extract UML Class Diagrams from Java Programs by Siala, Hanan Abdulwahab, Lano, Kevin

“…Many organizations rely on software systems to perform their core business operations. These systems often require modernization to accommodate new…”
Get full text

Creation of a retrospective searchable neuropathologic database from print archives at Toronto's University Health Network by Ehsani, Sepehr, Kiehl, Tim-Rasmus, Bernstein, Andrea, Gentili, Fred, Asa, Sylvia L, Croul, Sidney E

“…University Health Network (UHN) Pathology, in its capacity of providing neuro-oncologic care, now utilizes a laboratory information system (LIS), which was…”
Get full text

Developing Cross‐Platform and Cross‐Language Applications by Gregoire, Marc

“…C++ programs can be compiled to run on a variety of computing platforms, and the language has been rigorously defined to ensure that programming in C++ for one…”
Get full text

Towards the memory forensics of OOP execution behavior by Al-Sharif, Ziad A., Al-Saleh, Mohammad I., Alawneh, Luay

“…Perpetrators might employ computer programs (software) to perform their offenses or to cover their wrongdoings. Program's source code, in particular variables…”
Get full text

JFORTES: Java Formal Unit TESt Generation by Bentes, Larissa, Rocha, Herbert, Valentin, Eduardo, Barreto, Raimundo

“…The use of computer-based systems has increased significantly over the last years in several domains, mainly when we take into account the applications running…”
Get full text

The JK system to detect plagiarism by Sabri, Khair Eddin M, Al-Ja'afer, Jubair J

“…In this research a system, referred to as Jubair-Khaireddin (JK), has been developed to assess the degree of similarity between two programs even though they…”
Get full text

Formal Verification of Protocol Properties of Sequential Java Programs by Ying Jin

“…Protocol properties are essential properties in reusable library classes and object-oriented application frameworks. A protocol is the order in which the…”
Get full text

A practical method for watermarking Java programs by Monden, A., Iida, H., Matsumoto, K., Inoue, K., Torii, K.

“…Java programs distributed through the Internet are now suffering from program theft. This is because Java programs can be easily decomposed into reusable class…”
Get full text

Runtime verification on abstract finite state models by Jevitha, K.P., Jayaraman, Bharat, Sethumadhavan, M.

“…Finite-state models are ubiquitous in the study of concurrent systems, especially controllers and servers that operate in a repetitive cycle. In this paper, we…”
Get full text

The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently by Halalingaiah, Shashin, Sundaresan, Vijay, Maier, Daryl, Nandivada, V. Krishna

“…Data-flow analyses like points-to analysis can vastly improve the precision of other analyses, and enable powerful code optimizations. However, whole-program…”
Get full text

IGAOD: An online design framework for interactive genetic algorithms by Huang, DongBo, Xu, Xing

“…In order to prompt the theoretical research and application of interactive genetic algorithm (IGA), the framework for IGAOD (Interactive Genetic Algorithm…”
Get full text

Compact visualization of Java program execution by 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…”
Get full text

Personalised news filtering and recommendation system using Chi-square statistics-based K-nearest neighbour (χ2SB-KNN) model by Adeniyi, D. A., Wei, Z., Yang, Y.

“…Recommendation problem has been extensively studied by researchers in the field of data mining, database and information retrieval. This study presents the…”
Get full text

Computer‐based boiler efficiency improvement by Said, Samah M., Hamouda, Asmaa S., Mahmaoud, Hamada, Abd‐Elwahab, Said

“…This article was concerned with calculating efficiency of boilers which are the most important types of performance measurements in a steam system. A Java…”
Get full text