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

Multiple Comparison Tests01:13

Multiple Comparison Tests

Multiple comparison test, abbreviated as MCT, is a post hoc analysis generally performed after comparing multiple samples with one or more tests. An MCT will help identify a significantly different sample among multiple samples or a factor among multiple factors.
It would be easy to compare two samples using a significance alpha level of 0.05. In other words, there is only one sample pair to be compared. However, it would be difficult to identify a significantly different sample if the number...
Comparison Tests01:28

Comparison Tests

An infinite series composed of positive terms may either approach a finite value or increase without bound. Determining which outcome occurs is a central task in calculus, and comparison tests provide structured methods for making this determination. Rather than evaluating a series directly, these tests relate it to another series whose behavior is already known, allowing conclusions to be drawn through logical comparison.The direct comparison test applies to series with positive terms. If each...
Quality Assurance01:19

Quality Assurance

Quality assurance is the overarching term used to describe the activities employed to ensure the proper performance of a system. These activities can be classified into three categories: quality control, quality assessment, and internal corrective measures. Typically, these activities work cyclically: quality control is performed before and during the analysis, while quality assessment occurs during and after the investigation. Internal corrective measures are implemented based on the findings...
Compacting Factor test01:22

Compacting Factor test

The compacting factor test is a method used to assess the workability of concrete. It is  especially suitable for concrete mixes containing aggregates up to one and a half inches in size. This test involves specialized equipment consisting of two truncated cone-shaped hoppers and a cylinder, all with polished interior surfaces to minimize friction.
The procedure begins by placing concrete into the upper hopper without any compaction. Once filled, the bottom door of this hopper is opened,...
Heuristics01:21

Heuristics

Heuristics are problem-solving strategies that use mental shortcuts to simplify decision-making. Unlike algorithms, which must be followed precisely to achieve a correct result, heuristics offer a general problem-solving framework. They save time and energy but can sometimes lead to less rational decisions.
People often rely on heuristics when faced with an overload of information, limited time, low importance of the decision, limited information, or when a heuristic readily comes to mind. For...
Optimization Problems01:26

Optimization Problems

Optimization problems often involve identifying maximum or minimum values under specific constraints. A well-known example is determining the longest horizontal pipe that can be moved around a right-angled corner, where a 3-meter-wide hallway meets a 2-meter-wide hallway. This scenario, common in architectural design and industrial transport, can be understood conceptually through geometric and trigonometric reasoning.To visualize the problem, consider the pipe as a straight line that touches...

You might also read

Related Articles

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

Sort by
Same author

Leveraging Multi-Source Data Fusion Approach for Fine-Grained Affective-Appraisal Analysis in TPD-Oriented Online Professional Learning.

Behavioral sciences (Basel, Switzerland)·2026
Same author

Investigating the Genetic and Molecular Basis of Melanin and Edible Quality in <i>Auricularia cornea</i>.

Journal of fungi (Basel, Switzerland)·2026
Same author

The outcome of digital technology in microvascular free flap reconstruction for ORNJ: a retrospective study.

Frontiers in bioengineering and biotechnology·2026
Same author

Booster vaccine reduces BCG-primed mice's protection against primary Mycobacterium tuberculosis infection by raising IL-10 levels.

Vaccine·2026
Same author

Composition-induced solvent effect regulation toward ultrafast and selective recovery of LCO cathodes from spent lithium-ion batteries.

Physical chemistry chemical physics : PCCP·2026
Same author

The positive correlation between the progressive photoreceptor damage and the increased macular leakage indicating the severity of diabetic retinopathy.

Journal of diabetes investigation·2026
Same journal

Correction: A method for supervoxel-wise association studies of age and other non-imaging variables from coronary computed tomography angiograms.

Scientific reports·2026
Same journal

Poly(bromophenol blue)/CoSn(OH)<sub>6</sub> cubic particles modified pencil graphite electrode for electrochemical determination of diphenhydramine.

Scientific reports·2026
Same journal

Dietary Chlorella, Spirulina, and acidifier modulate jejunal cytokine-related gene expression in broiler chickens.

Scientific reports·2026
Same journal

Perceived physical activity barriers in university students: associations with fatigue and eating behaviours.

Scientific reports·2026
Same journal

Refuge limitation structures habitat use in agricultural landscapes: evidence from Sunda pangolins.

Scientific reports·2026
Same journal

Lightweight stateless transaction verification with outsourced witness updates for UTXO blockchains.

Scientific reports·2026
See all related articles

Related Experiment Video

Updated: Jun 10, 2026

A Quantitative Fitness Analysis Workflow
11:39

A Quantitative Fitness Analysis Workflow

Published on: August 13, 2012

A unified framework for efficient test case generation and prioritization driven by multiple coverage criteria.

Xinyue Xu1, Xiangxian Chen2, Zhonghao Guo1

  • 1College of Biomedical Engineering and Instrument Science, Zhejiang University, Yugu Street, Hangzhou, 310000, Zhejiang, China.

Scientific Reports
|June 8, 2026
PubMed
Summary
This summary is machine-generated.

This study introduces an integrated software testing framework that unifies test case generation and prioritization. It enhances efficiency and fault detection by reusing coverage data, improving system reliability.

Keywords:
Symbolic executionTest case generationTest case prioritization

Related Experiment Videos

Last Updated: Jun 10, 2026

A Quantitative Fitness Analysis Workflow
11:39

A Quantitative Fitness Analysis Workflow

Published on: August 13, 2012

Area of Science:

  • Software Engineering
  • Computer Science

Background:

  • Software testing is crucial for system reliability but resource-intensive.
  • Traditional methods disconnect test case generation and prioritization, leading to inefficiencies.
  • Existing approaches often require costly pre-execution for coverage analysis.

Purpose of the Study:

  • To present an integrated framework for profiling-free test case prioritization.
  • To enable earlier accumulation of multi-criteria structural coverage during test execution.
  • To facilitate earlier fault exposure through efficient testing.

Main Methods:

  • Developed Multiple Coverage Test Case Generation (MCTCG), an enhanced symbolic execution tool.
  • Generated test suites satisfying six diverse coverage criteria, capturing granular coverage data.
  • Implemented greedy multi-criteria coverage prioritization using generation-time metadata.

Main Results:

  • MCTCG achieved superior coverage and bug detection rates on CodeNet and RERS benchmarks.
  • The framework outperformed state-of-the-art prioritization methods, improving APFD by 4.11%.
  • Reduced the first-fail metric by 8.7%, indicating faster fault detection.

Conclusions:

  • The integrated framework effectively unifies test generation and prioritization processes.
  • This approach enhances testing efficiency and fault exposure capabilities.
  • The method is particularly valuable for standard-compliant white-box testing.