Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Concept

Software testing

Applied sciences
Computer engineering
Software development
Software development process

About
Privacy
Disclaimer

Graph Chatbot

Related publications (31)

Page 2 of 2

DatAFLow: Toward a Data-flow-guided Fuzzer

Mathias Josef Payer

This Replicating Computational Report (RCR) describes (a) our datAFLow fuzzer and (b) how to replicate the results in "datAFLow: Toward a Data-Flow-Guided Fuzzer." Our primary artifact is the datAFLow fuzzer. Unlike traditional coverage-guided greybox fuzz ...

2023

Improving algal bloom detection using spectroscopic analysis and machine learning: A case study in a large artificial reservoir, South Korea

Thanh Trung Huynh

The prediction of algal blooms using traditional water quality indicators is expensive, labor-intensive, and timeconsuming, making it challenging to meet the critical requirement of timely monitoring for prompt management. Using optical measures for foreca ...

ELSEVIER2023

Reactivity of Bromine Radical with Dissolved Organic Matter Moieties and Monochloramine: Effect on Bromate Formation during Ozonation

Urs von Gunten, Sung Eun Lim

Bromine radical (Br center dot) has been hypothesized to be a key intermediate of bromate formation during ozonation. Once formed, Br center dot further reacts with ozone to eventually form bromate. However, this reaction competes with the reaction of Br c ...

AMER CHEMICAL SOC2023

Mechanical Characterisation of Porcine Urethra: Non Linear Constitutive Models and Experimental Approach

Yves Perriard, Yoan René Cyrille Civet, Thomas Guillaume Martinez, Stefania Maria Aliki Konstantinidi, Amine Benouhiba, Quentin Philippe Mario De Menech

Low urinary tract dysfunctions and symptoms (LUTS) and Urinary incontinence (UI) in particular is a medical condition that affects millions of people worldwide. One of the most promising long term treatments for this condition is the use of an artificial u ...

IEEE2023

A reduced-order, rotation-based model for thin hard-magnetic plates

Pedro Miguel Nunes Pereira de Almeida Reis, Dong Yan, Bastien Freddy Gustave Aymon

We develop a reduced-order model for thin plates made of hard magnetorheological elastomers (hard-MREs), which are composed of hard-magnetic particles embedded in a polymeric matrix. First, we propose a new magnetic potential, as an alternative to an exist ...

PERGAMON-ELSEVIER SCIENCE LTD2023

Interlaboratory Test Program to Determine the Precision of the R3 Test Method (ASTM C1897-20) for Measuring Reactivity of Supplementary Cementitious Materials

Karen Scrivener, Ruben Anton Snellings, Diana Londoño Zuluaga

The substitution of portland clinker by supplementary cementitious materials (SCMs) is one of the main avenues for the further decarbonization of cement production. To secure future SCM supplies, generic and performance-related test methods for SCMs are re ...

AMER SOC TESTING MATERIALS2022

STEPS 4.0: Fast and memory-efficient molecular simulations of neurons at the nanoscale

Felix Schürmann, James Gonzalo King, Pramod Shivaji Kumbhar, Omar Awile, Alessandro Cattabiani, Christos Kotsalos, Tristan Mathieu Carel, Samuel Marie A Melchior, Baudouin Paul Michel Maria Joseph Del Marmol, Giacomo Castiglioni, Nicola Cantarutti

Recent advances in computational neuroscience have demonstrated the usefulness and importance of stochastic, spatial reaction-diffusion simulations. However, ever increasing model complexity renders traditional serial solvers, as well as naive parallel imp ...

FRONTIERS MEDIA SA2022

Auto-tuning deep forest for shear stiffness prediction of headed stud connectors

Xianlin Wang

The shear stiffness of headed stud connector is a critical parameter for the calculation of deflection and inter-facial shear force for steel-concrete composite structure. Thus, this study presented a promising data-driven model auto-tuning Deep Forest (AT ...

2022

Aging investigation of the latest standard dual power modules using improved interconnect technologies by power cycling test

Yi Zhang, Rui Wu

The latest standard "New Dual" power module has been developed for both silicon and silicon-carbide devices to meet the increasing demands in high reliability and high temperature power electronic applications. Due to the new package is just starting to re ...

PERGAMON-ELSEVIER SCIENCE LTD2022

Battery Charger for Electric Vehicles based on a Wireless Power Transmission

Yves Perriard, Paolo Germano

In this paper, the case of a battery charger for electric vehicles based on a wireless power transmission is addressed. The specificity of every stage of the overall system is presented. Based on calculated and measured results, relevant capacitive compens ...

2017

MINERVA: Browser API Fuzzing with Dynamic Mod-Ref Analysis

Mathias Josef Payer

Browser APIs are essential to the modern web experience. Due to their large number and complexity, they vastly expand the attack surface of browsers. To detect vulnerabilities in these APIs, fuzzers generate test cases with a large amount of random API inv ...

Assoc Computing Machinery2022