Suchergebnisse - "Java programs"
-
1
Bugs.jar: a large-scale, diverse dataset of real-world Java bugs
ISBN: 9781450357166, 1450357164ISSN: 2574-3864Veröffentlicht: New York, NY, USA ACM 28.05.2018Veröffentlicht in 2018 IEEE/ACM 15th International Conference on Mining Software Repositories (MSR) (28.05.2018)“… 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 …”
Volltext
Tagungsbericht -
2
A Rule-Based Approach for Animating Java Algorithms
ISSN: 2375-0138Veröffentlicht: IEEE 01.07.2016Veröffentlicht in Proceedings / International Conference on Information Visualisation (01.07.2016)“… Over the past years, visualization of programs has been widely applied. Algorithm animation was proven to aid in teaching and learning. It provides a …”
Volltext
Tagungsbericht Journal Article -
3
Integrating Evolutionary Testing with Reinforcement Learning for Automated Test Generation of Object‐Oriented Software
ISSN: 1022-4653, 2075-5597Veröffentlicht: Published by the IET on behalf of the CIE 01.01.2015Veröffentlicht in Chinese Journal of Electronics (01.01.2015)“… Recent advances in evolutionary test generation greatly facilitate the testing of Object‐oriented (OO) software. Existing test generation approaches are still …”
Volltext
Journal Article -
4
Light-weight resource leak testing based on finalisers
ISSN: 1751-8806, 1751-8814, 1751-8814Veröffentlicht: Stevenage The Institution of Engineering and Technology 01.12.2013Veröffentlicht in IET software (01.12.2013)“… Despite garbage collectors, programmers must manually manage many non-memory ‘finite system resources’ such as file descriptors and database connections …”
Volltext
Journal Article -
5
Test suite prioritisation using trace events technique
ISSN: 1751-8806, 1751-8814, 1751-8814Veröffentlicht: Stevenage The Institution of Engineering and Technology 01.04.2013Veröffentlicht in IET software (01.04.2013)“… 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 …”
Volltext
Journal Article -
6
Towards Using LLMs in the Reverse Engineering of Software Systems to Object Constraint Language
ISSN: 2640-7574Veröffentlicht: IEEE 04.03.2025Veröffentlicht in Proceedings of the European Conference on Software Maintenance and Reengineering (04.03.2025)“… Using reverse engineering to extract semantic representations from software systems is beneficial for the understanding of these systems, and can facilitate …”
Volltext
Tagungsbericht -
7
Using Large Language Models to Extract UML Class Diagrams from Java Programs
Veröffentlicht: IEEE 04.04.2025Veröffentlicht in 2025 8th International Conference on Software and System Engineering (ICoSSE) (04.04.2025)“… Many organizations rely on software systems to perform their core business operations. These systems often require modernization to accommodate new …”
Volltext
Tagungsbericht -
8
Creation of a retrospective searchable neuropathologic database from print archives at Toronto's University Health Network
ISSN: 0023-6837, 1530-0307, 1530-0307Veröffentlicht: New York Elsevier Inc 01.01.2008Veröffentlicht in Laboratory investigation (01.01.2008)“… University Health Network (UHN) Pathology, in its capacity of providing neuro-oncologic care, now utilizes a laboratory information system (LIS), which was …”
Volltext
Journal Article -
9
Developing Cross‐Platform and Cross‐Language Applications
ISBN: 9781119695400, 1119695406Veröffentlicht: Indianapolis, Indiana John Wiley & Sons, Inc 24.02.2021Veröffentlicht in Professional C++ (24.02.2021)“… 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 …”
Volltext
Buchkapitel -
10
Towards the memory forensics of OOP execution behavior
Veröffentlicht: IEEE 01.08.2017Veröffentlicht in 2017 8th International Conference on Information, Intelligence, Systems and Applications (IISA) (01.08.2017)“… Perpetrators might employ computer programs (software) to perform their offenses or to cover their wrongdoings. Program's source code, in particular variables …”
Volltext
Tagungsbericht -
11
JFORTES: Java Formal Unit TESt Generation
ISSN: 2324-7894Veröffentlicht: IEEE 01.11.2016Veröffentlicht in Brazilian Symposium on Computing System Engineering (01.11.2016)“… 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 …”
Volltext
Tagungsbericht -
12
The JK system to detect plagiarism
ISSN: 1666-6046, 1666-6038Veröffentlicht: La Plata Graduate Network of Argentine Universities with Computer Science Schools (RedUNCI) 01.10.2006Veröffentlicht in Journal of Computer Science & Technology (01.10.2006)“… 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 …”
Volltext
Journal Article -
13
Formal Verification of Protocol Properties of Sequential Java Programs
ISBN: 9780769528700, 0769528708ISSN: 0730-3157Veröffentlicht: IEEE 01.07.2007Veröffentlicht in 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) (01.07.2007)“… Protocol properties are essential properties in reusable library classes and object-oriented application frameworks. A protocol is the order in which the …”
Volltext
Tagungsbericht -
14
A practical method for watermarking Java programs
ISBN: 0769507921, 9780769507927ISSN: 0730-3157Veröffentlicht: IEEE 2000Veröffentlicht in Proceedings - International Computer Software & Applications Conference (2000)“… Java programs distributed through the Internet are now suffering from program theft. This is because Java programs can be easily decomposed into reusable class …”
Volltext
Tagungsbericht Journal Article -
15
Runtime verification on abstract finite state models
ISSN: 0164-1212, 1873-1228Veröffentlicht: Elsevier Inc 01.10.2024Veröffentlicht in The Journal of systems and software (01.10.2024)“… 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 …”
Volltext
Journal Article -
16
The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
ISSN: 2475-1421, 2475-1421Veröffentlicht: New York, NY, USA ACM 08.10.2024Veröffentlicht in Proceedings of ACM on programming languages (08.10.2024)“… Data-flow analyses like points-to analysis can vastly improve the precision of other analyses, and enable powerful code optimizations. However, whole-program …”
Volltext
Journal Article -
17
IGAOD: An online design framework for interactive genetic algorithms
ISSN: 2352-7110, 2352-7110Veröffentlicht: Elsevier 01.07.2022Veröffentlicht in SoftwareX (01.07.2022)“… In order to prompt the theoretical research and application of interactive genetic algorithm (IGA), the framework for IGAOD (Interactive Genetic Algorithm …”
Volltext
Journal Article -
18
Compact visualization of Java program execution
ISSN: 0038-0644, 1097-024XVeröffentlicht: Bognor Regis Wiley Subscription Services, Inc 01.02.2017Veröffentlicht in Software, practice & experience (01.02.2017)“… Summary The context of this work is a practical, open‐source visualization system, called JIVE, that supports two forms of runtime visualizations of Java …”
Volltext
Journal Article -
19
Personalised news filtering and recommendation system using Chi-square statistics-based K-nearest neighbour (χ2SB-KNN) model
ISSN: 1751-7575, 1751-7583Veröffentlicht: Taylor & Francis 21.10.2017Veröffentlicht in Enterprise information systems (21.10.2017)“… Recommendation problem has been extensively studied by researchers in the field of data mining, database and information retrieval. This study presents the …”
Volltext
Journal Article -
20
Computer‐based boiler efficiency improvement
ISSN: 1944-7442, 1944-7450Veröffentlicht: Hoboken, USA John Wiley & Sons, Inc 01.09.2019Veröffentlicht in Environmental progress & sustainable energy (01.09.2019)“… This article was concerned with calculating efficiency of boilers which are the most important types of performance measurements in a steam system. A Java …”
Volltext
Journal Article

