Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Software (D) > Software Engineering (D.2) > Software/Program Verification (D.2.4) > Programming By Contract (D.2.4...)  
 
Options:
 
  1-1 of 1 Reviews about "Programming By Contract (D.2.4...)": Date Reviewed
  An empirical evaluation of assertions as oracles
Shrestha K., Rutherford M.  ICST 2011 (Proceedings of the 4th IEEE International Conference on Software Testing, Verification and Validation, Berlin, Germany, Mar 21-25, 2011) 110-119, 2011.  Type: Proceedings

In software testing, it is often impractical to calculate expected outputs. Writing assertions is one way of tackling the oracle problem, but do they really detect many more faults than the null oracle, which relies on a program crashi...

Jun 27 2012
 
 
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy