Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,465,643 papers from all fields of science
Search
Sign In
Create Free Account
Fastest
Fastest is a model-based testing tool that works with specifications written in the Z notation. The tool implements () the Test Template Framework…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Community Z Tools
Interface (Java)
LaTeX
Model-based testing
Expand
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
Gentiana Ioana Latiu
,
O. Creţ
,
L. Văcariu
Third International Conference on Emerging…
2012
Corpus ID: 17802726
Software testing is a very expensive and time consuming process. Test methods which generate test data based on the program's…
Expand
2011
2011
Overlapping Community Structures and Their Detection on Social Networks
Nam P. Nguyen
,
Thang N. Dinh
,
Dung T. Nguyen
,
M. Thai
IEEE Third Int'l Conference on Privacy, Security…
2011
Corpus ID: 14824494
We propose DOCA (Detecting Overlapping Community Algorithm), a connection-based algorithm for discovering high quality…
Expand
Review
2011
Review
2011
Beam-Width Prediction for Efficient Context-Free Parsing
Nathan Bodenstab
,
Aaron Dunlop
,
Keith B. Hall
,
Brian Roark
Annual Meeting of the Association for…
2011
Corpus ID: 1193152
Efficient decoding for syntactic parsing has become a necessary research area as statistical grammars grow in accuracy and size…
Expand
2008
2008
A New and Efficient Algorithm to Binarize Document Images Removing Back-to-Front Interference
J. G. M. Silva
,
R. Lins
,
Fernando Mário Junqueira Martins
,
R. Wachenchauzer
Journal of universal computer science (Online)
2008
Corpus ID: 1918260
Back-to-front interference", "bleeding" and "show-through" is the name given to the phenomenon found whenever documents are…
Expand
2007
2007
‘ -Invertible Cycles for M ultivariate Q uadratic ( MQ ) Public Key Cryptography
Jintai Ding
,
Christopher Wolf
,
Bo-Yin Yang
2007
Corpus ID: 115539
. We propose a new basic trapdoor ‘ IC ( ‘ -Invertible Cycles) of the mixed (cid:28)eld type for M ultivariate Q uadratic public…
Expand
Highly Cited
2001
Highly Cited
2001
A Long-Term View of Short-Range Wireless
D. Leeper
Computer
2001
Corpus ID: 39871329
Economic forces and physical laws are driving the growth of a new wireless infrastructure that will become as ubiquitous as…
Expand
2001
2001
Information Technology Literacy: Task Knowledge and Mental Models
S. Brandt
Library Trends
2001
Corpus ID: 26276239
THISARTICLE DESCRIBES THE IMPORTANCE OF information technology literacy as a precursor to information literacy. It discusses the…
Expand
1998
1998
Direct pattern matching on compressed text
E. Moura
,
G. Navarro
,
N. Ziviani
,
Ricardo Baeza-Yates
Proceedings. String Processing and Information…
1998
Corpus ID: 9211458
We present a fast compression and decompression technique for natural language texts. The novelty is that the exact search can be…
Expand
1992
1992
A small test generator for large designs
S. Kundu
,
L. Huisman
,
Indira Nair
,
V. Iyengar
,
L. N. Reddy
Proceedings International Test Conference
1992
Corpus ID: 10390999
We report an automatic test pattern generator that can handle designs with one million gates or more on medium size workstations…
Expand
1992
1992
A 150-mhz 43-tap Half-band Fir Digital Filter In 1.2-/spl mu/m Cmos Generated By Silicon Compiler
J. Laskowski
,
H. Samueli
Proceedings of the IEEE Custom Integrated…
1992
Corpus ID: 17925952
A 43-tap half-band FIR digital filter generated by a silicon compiler in 1.2-pm CMOS is described. The multiplierless fixed…
Expand