MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Program Result-Checking A Theory of Testing Meets a Test of Theory" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Software Reliability via Run-Time Result-Checking  
  • by Manuel Blum Hal, Manuel Blum, Hal Wasserman — 1994 — Journal of the ACM
  • … preliminary version of this paper appears as: "Program result-checking: a theory of testing meets a test…
  • Add To MetaCart
  • Hal Wasserman  
  • by School Of Computer
  • … Blum. Journal of the ACM, 44:826--849, November 1997. Conference version: "Program Result-Checking: A…
  • Add To MetaCart
  • Software Reliability via Run-Time Result-Checking  
  • by Hal Wasserman University, Hal Wasserman, Manuel Blum, Name Manuel Blum — 1994 — Journal of the ACM
  • …-0267. A preliminary version of this paper appears as: "Program result-checking: a theory of testing…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB