Test (informatique)

Applied sciences
Génie informatique
Développement de logiciel
Software development process

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (31)

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

Trung-Dung Hoang, 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, Christos Kotsalos, Tristan Mathieu Carel, Iain Hepburn, Samuel Marie A Melchior, Weiliang Chen, Baudouin Paul Michel Maria Joseph Del Marmol, Alessandro Cattabiani, 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, Yuqing Liu

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

MINERVA: Browser API Fuzzing with Dynamic Mod-Ref Analysis

Mathias Josef Payer, Yu Jiang, Chijin Zhou

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

One Fuzz Doesn’t Fit All: Optimizing Directed Fuzzing via Target-tailored Program State Restriction

Mathias Josef Payer

Fuzzing is the de-facto default technique to discover software flaws, randomly testing programs to discover crashing test cases. Yet, a particular scenario may only care about specific code regions (for, e.g., bug reproduction, patch or regression testing) ...

ASSOC COMPUTING MACHINERY2022

Page 2 sur 2