Skip to search formSkip to main contentSkip to account menu

Fastest

Fastest is a model-based testing tool that works with specifications written in the Z notation. The tool implements () the Test Template Framework… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Community Z ToolsInterface (Java)LaTeXModel-based testing

Broader (1)

Z notation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
A Fully Constrained Linear Spectral Unmixing Algorithm Based on Distance Geometry
Under the linear spectral mixture model, hyperspectral unmixing can be considered as a convex geometry problem, in which the… 
2012
2012
Automatic Test Data Generation for Software Path Testing Using Evolutionary Algorithms
Software testing is a very expensive and time consuming process. Test methods which generate test data based on the program's… 
2011
2011
An Efficient Algorithm for Generating Classification Rules
Data mining is the process of extracting hidden knowledge from the large data repositories. In data mining, there are several… 
2011
2011
Overlapping Community Structures and Their Detection on Social Networks
We propose DOCA (Detecting Overlapping Community Algorithm), a connection-based algorithm for discovering high quality… 
2008
2008
Fast computation of the median by successive binning
This paper describes a new median algorithm and a median approximation algorithm. The former has O(n) average running time and… 
2008
2008
A New and Efficient Algorithm to Binarize Document Images Removing Back-to-Front Interference
Back-to-front interference", "bleeding" and "show-through" is the name given to the phenomenon found whenever documents are… 
2007
2007
End-to-End Available Bandwidth Measurement Tools : A Comparative Evaluation of Performances
In recent years, there has been a strong interest in measuring the available bandwidth of network paths. Several methods and… 
Highly Cited
2001
Highly Cited
2001
A Long-Term View of Short-Range Wireless
Economic forces and physical laws are driving the growth of a new wireless infrastructure that will become as ubiquitous as… 
1998
1998
Direct pattern matching on compressed text
We present a fast compression and decompression technique for natural language texts. The novelty is that the exact search can be… 
1992
1992
A small test generator for large designs
We report an automatic test pattern generator that can handle designs with one million gates or more on medium size workstations… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)