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.
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… 
Highly Cited
2011
Highly Cited
2011
High-Quality Visualization for Geographically Distributed 3-D Teleimmersive Applications
The growing popularity of 3-D movies has led to the rapid development of numerous affordable consumer 3-D displays. In contrast… 
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… 
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
2003
Highly Cited
2003
InP/InGaAs SHBTs with 75 nm collector and ft> 500 GHz
InP/InGaAs single heterojunction bipolar transistors (SHBTs) are fabricated exhibiting current-gain cutoff frequencies, fT of 509… 
Review
2002
Review
2002
Hardware-assisted fast routing
To fully realize the benefits of partial and rapid reconfiguration of field-programmable devices, we often need to dynamically… 
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
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
Implementation of a FFT radix 2 butterfly using serial RSFQ multiplier-adders
We have designed a Decimation-in-Time (DIT) radix 2 butterfly integrated circuit. This circuit will be used to implement the 32… 
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)