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.
Highly Cited
2010
Highly Cited
2010
A Two-Stage Correlation Method for Stereoscopic Depth Estimation
The computation of stereoscopic depth is an important field of computer vision. Although a large variety of algorithms has been… 
Highly Cited
2009
Highly Cited
2009
A Four-Context Optically Differential Reconfigurable Gate Array
Reconfiguration applications based on reconfigurable devices present new computational paradigms since, by increasing the… 
Highly Cited
2009
Highly Cited
2009
Towards social-aware routing in dynamic communication networks
Many communication networks such as Mobile Ad Hoc Networks (MANETs) involve in human interactions and exhibit properties of… 
Highly Cited
2003
Highly Cited
2003
Syntheses and characterizations of in situ blended metallocence polyethylene/clay nanocomposites
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… 
Highly Cited
2000
Highly Cited
2000
Effect of Dissolved Organic Matter in Treated Effluents on Sorption of Atrazine and Prometryn by Soils
The apparent enhanced transport of soil-applied atrazine following irrigation of treated effluents has been hypothesized to be… 
Highly Cited
1999
Highly Cited
1999
The late Pleistocene cultures of South America
Important to an understanding of the first peopling of any continent is an understanding of human dispersion and adaptation and… 
Highly Cited
1996
Highly Cited
1996
A TeraFLOP supercomputer in 1996: the ASCI TFLOP system
To maintain the integrity of the US nuclear stockpile without detonating nuclear weapons, the DOE needs the results of computer… 
Highly Cited
1995
Highly Cited
1995
Swimming speed and allocation of time during the dive cycle in Antarctic fur seals
Highly Cited
1990
Highly Cited
1990
Leaf-Litter Decomposition in the Picea/Tsuga Forests of Olympic National Park, Washington, U.S.A.
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)