Skip to main content

Completeness Criteria for Testing Elementary Program Functions

William E. Howden

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Howden:ICSE81,
  author    = {William E. Howden},
  title     = {Completeness Criteria for Testing Elementary Program Functions},
  booktitle = {ICSE},
  pages     = {235--243},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}

Related papers

Synthesis of ranking functions using extremal counterexamples PLDI 2015
Code Coverage Criteria for Asynchronous Programs FSE 2023
Simulation-based test adequacy criteria for distributed systems FSE 2006
Sound Approximation of Programs with Elementary Functions CAV 2019
A bisimulation for type abstraction and recursion POPL 2005
Elementary Type Inference ECOOP 2022
(Optimal) Duplication is not Elementary Recursive POPL 2000
Fast Polynomial Evaluation for Correctly Rounded Elementary Functions using the RLIBM Approach CGO 2023