Search Results - programmes Java
-
1
Compact visualization of Java program execution
ISSN: 0038-0644, 1097-024XPublished: Bognor Regis Wiley Subscription Services, Inc 01.02.2017Published 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 programs…”
Get full text
Journal Article -
2
Finite‐state model extraction and visualization from Java program execution
ISSN: 0038-0644, 1097-024XPublished: Bognor Regis Wiley Subscription Services, Inc 01.02.2021Published in Software, practice & experience (01.02.2021)“… 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…”
Get full text
Journal Article -
3
Program slicing of Java programs
ISSN: 2352-2208Published: Elsevier Inc 01.01.2023Published in Journal of logical and algebraic methods in programming (01.01.2023)“…) 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…”
Get full text
Journal Article -
4
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
ISSN: 0098-5589, 1939-3520Published: New York IEEE 01.01.2017Published in IEEE transactions on software engineering (01.01.2017)“…, 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…”
Get full text
Journal Article -
5
CrowdSummarizer: Automated Generation of Code Summaries for Java Programs through Crowdsourcing
ISSN: 0740-7459, 1937-4194Published: Los Alamitos IEEE 01.03.2017Published in IEEE software (01.03.2017)“… 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
Journal Article -
6
Model checking JAVA programs using JAVA PathFinder
ISSN: 1433-2779, 1433-2787Published: 01.03.2000Published in International journal on software tools for technology transfer (01.03.2000)Get full text
Journal Article -
7
ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming
ISSN: 0098-5589, 1939-3520Published: New York IEEE 01.10.2020Published in IEEE transactions on software engineering (01.10.2020)“…) 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…”
Get full text
Journal Article -
8
Casting about in the dark: an empirical study of cast operations in Java programs
ISSN: 2475-1421, 2475-1421Published: 01.10.2019Published in Proceedings of ACM on programming languages (01.10.2019)“… A type system is formulated as a set of constraints that gives any expression or term in a program a well-defined type…”
Get full text
Journal Article -
9
Unlocking the mentally ill in Indonesia: An empirical study of the effectiveness of a “Bebas Pasung” program in Central Java
ISSN: 1932-6203, 1932-6203Published: United States Public Library of Science 18.10.2024Published in PloS one (18.10.2024)“…) 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…”
Get full text
Journal Article -
10
Incidence of SARS-CoV-2 infection in hospital workers before and after vaccination programme in East Java, Indonesia – a retrospective cohort study
ISSN: 2772-3682, 2772-3682Published: England Elsevier Ltd 01.03.2023Published in The Lancet regional health. Southeast Asia (01.03.2023)“… It is important to understand COVID-19 characteristics among HCWs before and after vaccination. We evaluated the incidence of COVID-19 among HCWs in East Java, Indonesia…”
Get full text
Journal Article -
11
On the Efficiency of Test Suite based Program Repair A Systematic Assessment of 16 Automated Repair Systems for Java Programs
ISSN: 1558-1225Published: ACM 01.10.2020Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)“…Test-based automated program repair has been a prolific field of research in software engineering in the last decade…”
Get full text
Conference Proceeding -
12
FCA–CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs
ISSN: 0950-5849, 1873-6025Published: Amsterdam Elsevier B.V 01.08.2013Published in Information and software technology (01.08.2013)“…► Propose a new combined CIA approach. ► Impact factor is used to compute final imapct set. ► Experiments show that our CIA approach improves the precision…”
Get full text
Journal Article -
13
Analyzing syntactic constructs of Java programs with machine learning
ISSN: 0957-4174, 1873-6793Published: Elsevier Ltd 01.04.2023Published in Expert systems with applications (01.04.2023)“…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
Journal Article -
14
Framework for testing multi-threaded Java programs
ISSN: 1532-0626, 1532-0634Published: Chichester, UK John Wiley & Sons, Ltd 01.03.2003Published in Concurrency and computation (01.03.2003)“…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…”
Get full text
Journal Article -
15
Efficient and expressive bytecode-level instrumentation for Java programs
ISSN: 1433-2779, 1433-2787Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2023Published in International journal on software tools for technology transfer (01.08.2023)“…We present an efficient and expressive tool for the instrumentation of Java programs at the bytecode level. BISM…”
Get full text
Journal Article -
16
An exploratory study on exception handling bugs in Java programs
ISSN: 0164-1212, 1873-1228Published: New York Elsevier Inc 01.08.2015Published in The Journal of systems and software (01.08.2015)“…•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
Journal Article -
17
Java : a beginner's guide
ISBN: 9781265054632, 1265054630Published: New York McGraw Hill 2024Get full text
Book -
18
Static Analysis of Remote Procedure Call in Java Programs
ISSN: 1558-1225Published: IEEE 26.04.2025Published in Proceedings / International Conference on Software Engineering (26.04.2025)“… 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…”
Get full text
Conference Proceeding -
19
String Test Data Generation for Java Programs
ISSN: 2332-6549Published: IEEE 01.10.2022Published in Proceedings - International Symposium on Software Reliability Engineering (01.10.2022)“…Appropriate string test data generation is important for program testing. Complex string APIs combinations are commonly used to handle string parameters…”
Get full text
Conference Proceeding -
20
OJXPERF: Featherlight Object Replica Detection for Java Programs
ISSN: 1558-1225Published: ACM 01.05.2022Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)“…Memory bloat is an important source of inefficiency in complex production software, especially in software written in managed languages such as Java…”
Get full text
Conference Proceeding

