English
Related papers

Related papers: Testing Ocean Software with Metamorphic Testing

200 papers

Oceanic tides are a major source of tidal dissipation. They are a key actor for the orbital and rotational evolution of planetary systems, and contribute to the heating of icy satellites hosting a subsurface ocean. Oceanic tides are…

Earth and Planetary Astrophysics · Physics 2018-11-26 Pierre Auclair-Desrotour , Stéphane Mathis , Jacques Laskar , Jérémy Leconte

Automated black-box testing of APIs typically relies on interface specifications that define available operations and data schemas, but offer limited or no behavioural semantics. This semantic gap amplifies the test-oracle problem and…

Software Engineering · Computer Science 2026-04-13 Ana Ribeiro , Margarida Mamede , Carla Ferreira

Robust maritime obstacle detection is essential for fully autonomous unmanned surface vehicles (USVs). The currently widely adopted segmentation-based obstacle detection methods are prone to misclassification of object reflections and sun…

Computer Vision and Pattern Recognition · Computer Science 2022-08-04 Lojze Žust , Matej Kristan

The reduction of the computational effort is desirable for the simulation of marine ecosystem models. Using a marine ecosystem model, the assessment and the validation of annual periodic solutions (i.e., steady annual cycles) against…

Populations and Evolution · Quantitative Biology 2022-07-29 Markus Pfeil , Thomas Slawig

We review the study of rogue waves and related instabilities in optical and oceanic environments, with particular focus on recent experimental developments. In optics, we emphasize results arising from the use of real-time measurement…

Fluid Dynamics · Physics 2019-12-24 J. M. Dudley , G. Genty , A. Mussot , A. Chabchoub , F. Dias

Tropical cyclones (TCs), driven by heat exchange between the air and sea, pose a substantial risk to many communities around the world. Accurate characterization of the subsurface ocean thermal response to TC passage is crucial for accurate…

Applications · Statistics 2024-03-18 Addison J. Hu , Mikael Kuusela , Ann B. Lee , Donata Giglio , Kimberly M. Wood

We describe the user interface, governing equations, and numerical methods underpinning the community ocean modeling software called "Oceananigans". Oceananigans development has been lead by the Climate Modeling Alliance to build a…

The Traveling Thief Problem (TTP) is a multi-component optimization problem that captures the interplay between routing and packing decisions by combining the classical Traveling Salesperson Problem (TSP) and the Knapsack Problem (KP). The…

Data Structures and Algorithms · Computer Science 2026-04-22 Jan Eube , Kelin Luo , Aneta Neumann , Frank Neumann , Heiko Röglin

The upcoming Surface Water Ocean Topography (SWOT) satellite altimetry mission is expected to yield two-dimensional high-resolution measurements of Sea Surface Height (SSH), thus allowing for a better characterization of the mesoscale and…

Atmospheric and Oceanic Physics · Physics 2020-05-05 Redouane Lguensat , Ronan Fablet , Julien Le Sommer , Sammy Metref , Emmanuel Cosme , Kaouther Ouenniche , Lucas Drumetz , Jonathan Gula

Access to astronomical data through archives and VO is essential but does not solve all problems. Availability of appropriate software for analyzing the data is often equally important for the efficiency with which a researcher can publish…

Instrumentation and Methods for Astrophysics · Physics 2010-04-27 P. Grosbol , D. Tody

Combining multi-spectral satellite data and machine learning has been suggested as a method for monitoring plastic pollutants in the ocean environment. Recent studies have made theoretical progress regarding the identification of marine…

Image and Video Processing · Electrical Eng. & Systems 2023-05-03 Henry Booth , Wanli Ma , Oktay Karakus

Evolutionary multitasking (EMT) has emerged as a popular topic of evolutionary computation over the past decade. It aims to concurrently address multiple optimization tasks within limited computing resources, leveraging inter-task knowledge…

Neural and Evolutionary Computing · Computer Science 2026-02-11 Yanchi Li , Wenyin Gong , Tingyu Zhang , Fei Ming , Shuijia Li , Qiong Gu , Yew-Soon Ong

In this paper, an improved numerical solver to evaluate the time-dependent radiative transfer equation (RTE) for underwater optical wireless communications (UOWC) is investigated. The RTE evaluates the optical path-loss of light wave in an…

Signal Processing · Electrical Eng. & Systems 2019-05-07 Elmehdi Illi , Faissal El Bouanani , Ki-Hong Park , Fouad Ayoub , Mohamed-Slim Alouini

Can satellite data be used to address challenges currently faced by the Offshore Renewable Energy (ORE) sector? What benefit can satellite observations bring to resource assessment and maintenance of ORE farms? Can satellite observations be…

There is a lot of data about mean sea level variation from studies conducted around the globe. This data is dispersed, lacks organization along with standardization, and in most cases, it is not available online. In some instances, when it…

Computers and Society · Computer Science 2024-02-08 Mihir Odhavji , Maria Alexandra Oliveira , João Nuno Silva

The oceans cover the vast majority of the Earth. Therefore, their simulation has many scientific, industrial and military interests, including computer graphics domain. By fully exploiting the multi-threading power of GPU and CPU, current…

Graphics · Computer Science 2025-04-30 David Algis , Bérenger Bramas , Emmanuelle Darles , Lilian Aveneau

Typical marine environments are highly complex with spatio-temporally varying currents and dynamic obstacles, presenting significant challenges to Unmanned Surface Vehicles (USVs) for safe and efficient navigation. Thus, the USVs need to…

Robotics · Computer Science 2025-08-14 Reema Raval , Shalabh Gupta

Satellite altimetry combined with data assimilation and optimal interpolation schemes have deeply renewed our ability to monitor sea surface dynamics. Recently, deep learning (DL) schemes have emerged as appealing solutions to address…

Atmospheric and Oceanic Physics · Physics 2023-09-27 Quentin Febvre , Julien Le Sommer , Clément Ubelmann , Ronan Fablet

The ability to autonomously navigate in unknown environments is important for mobile robots. The map is the core component to achieve this. Most map representations rely on drift-free state estimation and provide a global metric map to…

Robotics · Computer Science 2021-09-21 Xuecheng Xu , Cheng Wang , Yue Wang , Rong Xiong