Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Survival Tree01:19

Survival Tree

514
Survival trees are a non-parametric method used in survival analysis to model the relationship between a set of covariates and the time until an event of interest occurs, often referred to as the "time-to-event" or "survival time." This method is particularly useful when dealing with censored data, where the event has not occurred for some individuals by the end of the study period, or when the exact time of the event is unknown.
 Building a Survival Tree
Constructing a...
514
Newton’s Method01:30

Newton’s Method

202
Newton’s Method is a powerful iterative technique for approximating the roots of real-valued, differentiable functions, particularly when analytical solutions are impractical. This approach is widely used in scientific computing, engineering, and finance, where equations may be too complex for traditional algebraic methods to handle. The method relies on an iterative process that refines an initial estimate using the function’s derivative to approach the true solution progressively.
202
Area Problem01:26

Area Problem

313
Determining the area of a region with straight edges is straightforward, as geometric formulas for rectangles, triangles, and polygons can be applied directly. However, traditional geometric methods are insufficient when a region has a curved boundary, such as the area under a function.fromThe area problem involves finding a systematic way to measure such regions. One approach to solving this problem is through approximation. Instead of attempting to compute the area exactly at the outset, the...
313
Net Change Theorem01:22

Net Change Theorem

223
The Net Change Theorem is a fundamental principle in calculus that establishes a direct relationship between a function’s rate of change and its accumulated change over an interval. Mathematically, it states that the definite integral of a function's derivative over a given interval [a,b] yields the net change in the original function:This theorem has significant applications in various real-world scenarios, including physics, economics, and engineering. A particularly useful application...
223
Calculation of Volume of Solids by Integration01:27

Calculation of Volume of Solids by Integration

420
Volume calculation often begins with simple geometric solids. For example, the volume of a rectangular box is obtained by multiplying the area of its base by its height. This straightforward approach relies on the fact that the cross-sectional area of the box remains constant throughout its length. Many real-world objects, however, do not have uniform cross-sections, and their volumes cannot be determined using elementary geometric formulas.To address this limitation, the Slicing Method...
420

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

A Generalized approach to the operationalization of Software Quality Models.

PeerJ. Computer science·2024
Same author

Persuasion with Precision: Using Natural Language Processing to Improve Instrument Fidelity for Risk Communication Experimental Treatments.

Journal of mixed methods research·2024
Same author

Characters matter: How narratives shape affective responses to risk communication.

PloS one·2019
See all related articles

Related Experiment Video

Updated: May 6, 2026

A Virtual Machine Platform for Non-Computer Professionals for Using Deep Learning to Classify Biological Sequences of Metagenomic Data
09:34

A Virtual Machine Platform for Non-Computer Professionals for Using Deep Learning to Classify Biological Sequences of Metagenomic Data

Published on: September 25, 2021

3.9K

Testing convolutional neural network based deep learning systems: a statistical metamorphic approach.

Faqeer Ur Rehman1, Clemente Izurieta1,2,3

  • 1Gianforte School of Computing, Montana State University, Bozeman, Montana, United States.

Peerj. Computer Science
|March 10, 2025
PubMed
Summary
This summary is machine-generated.

Statistical metamorphic testing (SMT) addresses limitations in verifying deep learning models by using statistical methods to validate metamorphic relations, improving fault detection in AI systems.

Keywords:
Metamorphic relationsMetamorphic relations prioritizationMetamorphic testingStatistical metamorphic testingTesting convolutional neural networks (CNNs)Testing deep learning systemsTesting pneumonia detection models

More Related Videos

Analyzing Mitochondrial Morphology Through Simulation Supervised Learning
12:06

Analyzing Mitochondrial Morphology Through Simulation Supervised Learning

Published on: March 3, 2023

3.9K
Author Spotlight: Advancing Alzheimer's Research – Exploring Early Detection and Multi-Omics Approaches
09:47

Author Spotlight: Advancing Alzheimer's Research – Exploring Early Detection and Multi-Omics Approaches

Published on: December 15, 2023

935

Related Experiment Videos

Last Updated: May 6, 2026

A Virtual Machine Platform for Non-Computer Professionals for Using Deep Learning to Classify Biological Sequences of Metagenomic Data
09:34

A Virtual Machine Platform for Non-Computer Professionals for Using Deep Learning to Classify Biological Sequences of Metagenomic Data

Published on: September 25, 2021

3.9K
Analyzing Mitochondrial Morphology Through Simulation Supervised Learning
12:06

Analyzing Mitochondrial Morphology Through Simulation Supervised Learning

Published on: March 3, 2023

3.9K
Author Spotlight: Advancing Alzheimer's Research – Exploring Early Detection and Multi-Omics Approaches
09:47

Author Spotlight: Advancing Alzheimer's Research – Exploring Early Detection and Multi-Omics Approaches

Published on: December 15, 2023

935

Area of Science:

  • Artificial Intelligence
  • Software Engineering
  • Machine Learning

Background:

  • Machine learning (ML) is crucial in domains like healthcare and autonomous driving.
  • Metamorphic testing (MT) is effective for complex systems lacking or with difficult oracles.
  • Conventional MT struggles with the stochastic nature of deep learning models, like convolutional neural networks (CNNs).

Purpose of the Study:

  • To address the limitations of conventional MT in verifying stochastic deep learning models.
  • To introduce a statistical metamorphic testing (SMT) technique that bypasses the need for fixed random seeds.
  • To propose an algorithm for minimizing metamorphic relations (MRs) to optimize testing resources.

Main Methods:

  • Proposed seven novel MRs tailored for deep learning models.
  • Integrated statistical methods to verify adherence to MRs without deterministic outputs.
  • Employed mutation testing to demonstrate the approach's effectiveness on CNNs for pneumonia detection.
  • Developed an MR minimization algorithm for computational efficiency.

Main Results:

  • The SMT approach successfully uncovered 85.71% of implementation faults in the classifiers under test (CUT).
  • The proposed MRs and statistical verification methods effectively validated deep learning models.
  • The MR minimization algorithm demonstrated potential for significant savings in testing resources.

Conclusions:

  • SMT offers a robust solution for testing stochastic deep learning models, overcoming limitations of traditional MT.
  • The proposed technique enhances fault detection rates in critical AI applications, particularly in healthcare.
  • The MR minimization algorithm contributes to more efficient and cost-effective software testing practices.