Assertion (software development)

Known as: Assertion (computing), Assertion (programming), Assertion failure 
In computer programming, an assertion is a statement that a predicate (Boolean-valued function, a true–false expression) is expected to always be… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
  • Gustav Holzegel
  • 2014
Recall the Cauchy-Kovalevskaya warm-up exercise from last week. There you showed that the transport equation ∂tu+cux = 0 admits… (More)
Is this relevant?
Highly Cited
2013
Highly Cited
2013
Previous version of a program can be a powerful enabler for program analysis by defining new relative specifications and making… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
This paper provides the best bounds to date on the number of randomly sampled entries required to reconstruct an unknown low rank… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We present GoldMine, a methodology for generating assertions automatically. Our method involves a combination of data mining and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
This report presents initial results in the area of software testing and analysis produced as part of the Software Engineering… (More)
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Where you can find the assertion based design easily? Is it in the book store? On-line book store? are you sure? Keep in mind… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2001
Highly Cited
2001
Design by Contract, proposed by Meyer for the programming language Eiffel, is a technique that allows run-time checks of… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Embedded assertions have been recognized as a potentially powerful tool for automatic runtime detection of software faults during… (More)
  • figure 3
  • figure 7
  • figure 15
  • table I
  • figure 16
Is this relevant?
1994
1994
Executable assertions can be inserted into a program to nd software faults. Unfortunately, the process of designing and embedding… (More)
Is this relevant?