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

Precipitation and Co-precipitation01:17

Precipitation and Co-precipitation

1.8K
Precipitation and coprecipitation methods can be used to separate a mixture of ions in a solution. In qualitative inorganic analysis, ions that form sparingly soluble precipitates with the same reagent are separated based on the differences in solubility products. For example, consider the separation of Cu(II) and Fe(II) ions by precipitation as insoluble sulfides. First, copper(II) sulfide is precipitated by the addition of acidic H2S, where the dissociation of H2S is suppressed. Adding H2S...
1.8K
Washing, Drying, and Ignition of Precipitates00:52

Washing, Drying, and Ignition of Precipitates

918
After filtration, the precipitate is washed to remove coprecipitated impurities and any remaining mother liquor. Colloidal precipitates, such as silver chloride, are washed with an electrolyte (such as dilute nitric acid) to prevent the peptization of the precipitate. In the case of slightly soluble precipitates, the wash solution contains a common ion to reduce solubility. Lead sulfate, which is slightly soluble in water, is washed with dilute sulfuric acid. Similarly, wash solutions may be...
918
Quantifying and Rejecting Outliers: The Grubbs Test01:02

Quantifying and Rejecting Outliers: The Grubbs Test

1.6K
Sometimes, a data set can have a recorded numerical observation that greatly  deviates from the rest of the data. Assuming that the data is normally distributed, a statistical method called the Grubbs test can be used to determine whether the observation is truly an outlier.  To perform a two-tailed Grubbs test, first, calculate the absolute difference between the outlier and the mean. Then, calculate the ratio between this difference and the standard deviation of the sample. This...
1.6K
Detection of Gross Error: The Q Test01:00

Detection of Gross Error: The Q Test

6.1K
When one or more data points appear far from the rest of the data, there is a need to determine whether they are outliers and whether they should be eliminated from the data set to ensure an accurate representation of the measured value. In many cases, outliers arise from gross errors (or human errors) and do not accurately reflect the underlying phenomenon. In some cases, however, these apparent outliers reflect true phenomenological differences. In these cases, we can use statistical methods...
6.1K
Systematic Error: Methodological and Sampling Errors01:15

Systematic Error: Methodological and Sampling Errors

1.5K
In the case of systematic errors, the sources can be identified, and the errors can be subsequently minimized by addressing these sources. According to the source, systematic errors can be divided into sampling, instrumental, methodological, and personal errors.
Sampling errors originate from improper sampling methods or the wrong sample population. These errors can be minimized by refining the sampling strategy. Defective instruments or faulty calibrations are the sources of instrumental...
1.5K
Data Validation01:15

Data Validation

164
Method validation is a crucial process in analytical chemistry designed to confirm that a given method consistently produces reliable and high-quality results. This process is essential when a method is applied to different sample matrices or when procedural modifications are made, ensuring that the results meet acceptable standards across various applications.
Key parameters for method validation include:
164

You might also read

Related Articles

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

Sort by
Same author

HyperPUT: generating synthetic faulty programs to challenge bug-finding tools.

Empirical software engineering·2024
Same journal

How students use generative AI for software testing: An observational study.

Empirical software engineering·2026
Same journal

Is common sense all you need? Using expert defined rules to identify vulnerability patches instead of machine learning.

Empirical software engineering·2026
Same journal

Less is more: usefulness of data flow diagrams and large language models for security threat validation.

Empirical software engineering·2026
Same journal

SecMLOps: A comprehensive framework for integrating security throughout the machine learning operations lifecycle.

Empirical software engineering·2026
Same journal

Tools and benchmarks evolve: what is their impact on parameter tuning in SBSE experiments?

Empirical software engineering·2025
Same journal

AI support for data scientists: An empirical study on workflow and alternative code recommendations.

Empirical software engineering·2025
See all related articles

Related Experiment Video

Updated: Jul 7, 2025

Using Capillary Electrophoresis to Quantify Organic Acids from Plant Tissue: A Test Case Examining Coffea arabica Seeds
10:13

Using Capillary Electrophoresis to Quantify Organic Acids from Plant Tissue: A Test Case Examining Coffea arabica Seeds

Published on: November 12, 2016

9.9K

Lightweight precise automatic extraction of exception preconditions in java methods.

Diego Marcilio1, Carlo A Furia1

  • 1Software Institute, USI Università della Svizzera italiana, Lugano, Switzerland.

Empirical Software Engineering
|December 28, 2023
PubMed
Summary
This summary is machine-generated.

This study introduces wit, an automated tool that extracts Java exception preconditions. It precisely documents exceptional behavior, improving software development practices.

Keywords:
JavaJava exceptionsPreconditions

More Related Videos

Detection of Rare Genomic Variants from Pooled Sequencing Using SPLINTER
14:06

Detection of Rare Genomic Variants from Pooled Sequencing Using SPLINTER

Published on: June 23, 2012

15.2K
Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack
07:31

Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack

Published on: May 15, 2020

7.1K

Related Experiment Videos

Last Updated: Jul 7, 2025

Using Capillary Electrophoresis to Quantify Organic Acids from Plant Tissue: A Test Case Examining Coffea arabica Seeds
10:13

Using Capillary Electrophoresis to Quantify Organic Acids from Plant Tissue: A Test Case Examining Coffea arabica Seeds

Published on: November 12, 2016

9.9K
Detection of Rare Genomic Variants from Pooled Sequencing Using SPLINTER
14:06

Detection of Rare Genomic Variants from Pooled Sequencing Using SPLINTER

Published on: June 23, 2012

15.2K
Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack
07:31

Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack

Published on: May 15, 2020

7.1K

Area of Science:

  • Software Engineering
  • Program Analysis
  • Automated Software Engineering

Background:

  • Exception preconditions are vital for correct method usage but are often poorly documented.
  • Manual documentation of exceptional behavior is time-consuming and prone to synchronization issues with code changes.

Purpose of the Study:

  • To develop an automated technique (wit) for extracting exception preconditions of Java methods and constructors.
  • To provide precise and lightweight analysis for documenting exceptional behavior.

Main Methods:

  • Employs static analysis to examine execution paths leading to exceptions within Java methods.
  • Utilizes heuristics to balance precision and completeness, requiring only source code for analysis.

Main Results:

  • Discovered 30,487 exception preconditions across 24,461 methods in the JDK and 46 Java projects.
  • Achieved an average analysis time of less than two seconds per public method.
  • Manual validation confirmed 100% precision of the extracted exception preconditions.

Conclusions:

  • The wit tool accurately and efficiently documents Java method exceptional behavior.
  • Automated extraction of exception preconditions enhances software reliability and maintainability.