Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY [PDF]
, 2023 Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning.
Abbasi, Rosa +4 more
core +2 more sources
Analyzing syntactic constructs of Java programs with machine learning [PDF]
, 2023 This work has been partially funded by the Spanish Department of Science, Innovation and Universities: project RTI2018-099235-B-I00. The authors have also received funds from the University of Oviedo, Spain through its support to official research groups
Facundo Colunga, Guillermo +2 more
core +2 more sources
Recovering Grammar Relationships for the Java Language Specification [PDF]
, 2010 Grammar convergence is a method that helps discovering relationships between different grammars of the same language or different language versions.
A. Dubey +10 more
core +9 more sources
Cognitive Complexity Applied to Software Development: An Automated Procedure to Reduce the Comprehension Effort [PDF]
, 2022 The cognitive complexity of a software application determines the amount of human effort required to comprehend its internal logic, which results in a subjective measurement.
Hewagamage, K. P., Wijendra, Dinuka R.
core +4 more sources
Mining common syntactic patterns used by Java programmers [PDF]
, 2022 Este trabajo ha sido financiado por el Ministerio de Ciencia, Innovación y Universidades, bajo el proyecto RTI2018-099235-B-I00, así como por la Universidad de Oviedo (proyecto GR2011-0040)
Facundo Colunga, Guillermo +3 more
core +1 more source
Java at Middle Age: Enabling Java for Computational Science [PDF]
, 2002 Not long after the Mosaic Web browser appeared and Netscape communications formed, Sun Microsystems launched Java in a way that will be forever known as a marketing success story. All across the US, there were many Java Day events.
Thiruvathukal, George K.
core +1 more source
Breaking Bad? Semantic versioning and impact of breaking changes in Maven Central [PDF]
, 2021 ust like any software, libraries evolve to incorporate new features, bug fixes, security patches, and refactorings. However, when a library evolves, it may break the contract previously established with its clients by introducing Breaking Changes (BCs ...
Degueule, T.F. (Thomas) +3 more
core +2 more sources
Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis [PDF]
, 2023 Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code.
Riouak, Idriss
core
OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
, 2014 OpenJML is a tool for checking code and specifications of Java programs. We describe our experience building the tool on the foundation of JML, OpenJDK and Eclipse, as well as on many advances in specification-based software verification.
Cok, David R.
core +2 more sources
Build a Dashboard Application for NOVs eVolve Automation System [PDF]
, 2021 The project is completed by cooperating with NOV. The purpose of the project is to make a dashboard application that gathers the essential information, monitors the running status of the devices, and presents an overview of the NOV eVolve Automation ...
Dai, Qingqing
core