Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,084,864 papers from all fields of science
Search
Sign In
Create Free Account
Assertion (software development)
Known as:
Assertion (computing)
, Assertion (programming)
, Assertion failure
Expand
In computer programming, an assertion is a statement that a predicate (Boolean-valued function, a true–false expression) is expected to always be…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
45 relations
Assertion definition language
Asynchronous system
Automatic bug fixing
C++
Expand
Broader (3)
Debugging
Formal methods
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
Energy balance and water use in a subtropical karst woodland on the Edwards Plateau, Texas
J. Heilman
,
K. McInnes
,
J. Kjelgaard
,
M. Owens
,
S. Schwinning
2009
Corpus ID: 14328726
Highly Cited
2009
Highly Cited
2009
A secure and improved self-embedding algorithm to combat digital document forgery
A. Cheddad
,
J. Condell
,
K. Curran
,
P. Kevitt
Signal Processing
2009
Corpus ID: 13838044
Highly Cited
2007
Highly Cited
2007
Multistability and convergence in delayed neural networks
Chang-Yuan Cheng
,
Kuang-Hui Lin
,
Chih-Wen Shih
2007
Corpus ID: 32901194
Highly Cited
2006
Highly Cited
2006
CEDA: control-flow error detection through assertions
Ramtilak Vemu
,
J. Abraham
IEEE International Symposium on On-Line Testing…
2006
Corpus ID: 7864706
This paper presents an efficient software technique, control flow error detection through assertions (CEDA), for online detection…
Expand
Review
2002
Review
2002
A procedure for determining the nature of Mercury's core
S. Peale
,
R. Phillips
,
S. Solomon
,
David E. Smith
,
M. Zuber
2002
Corpus ID: 54735201
Abstract— We review the assertion that the precise measurement of the second degree gravitational harmonic coefficients, the…
Expand
Highly Cited
2000
Highly Cited
2000
A robust method to obtain optimal and sub-optimal design and retrofit solutions of water utilization systems with multiple contaminants in process plants
M. Bagajewicz
,
M. Rivas
,
M. Savelski
2000
Corpus ID: 19406946
Highly Cited
1993
Highly Cited
1993
Multiple participant-multiple criteria decision making
K. Hipel
,
K. Radford
,
L. Fang
IEEE Transactions on Systems, Man and Cybernetics
1993
Corpus ID: 21601349
Meaningful connections among different types of decision making Situations are established in order to improve the development of…
Expand
Highly Cited
1990
Highly Cited
1990
The Phoenix Program
D. Valentine
1990
Corpus ID: 161615146
Highly Cited
1988
Highly Cited
1988
Polygyny in the pied flycatcher, Ficedula hypoleuca: a test of the deception hypothesis
Geir Stenmark
,
T. Slagsvold
,
J. Lifjeld
Animal Behaviour
1988
Corpus ID: 53146095
Review
1982
Review
1982
The role of the cerebellum during motor learning in the vestibulo-ocular reflex: different mechanisms in different species?
Masao Ito
Trends in Neurosciences
1982
Corpus ID: 53157805
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)
ACCEPT & CONTINUE