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
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
2009
Highly Cited
2009
Resin is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level… (More)
  • table 1
  • table 2
  • figure 1
  • figure 2
  • table 3
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
Reynolds has developed a logic for reasoning about mutable data structures in which the pre- and postconditions are written in an… (More)
Is this relevant?
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?