Skip to main content

Finite Semantics for Program Testing

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Horejs:ICSE79,
  author    = {J. Horejs},
  title     = {Finite Semantics for Program Testing},
  booktitle = {ICSE},
  pages     = {433--441},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}

Related papers

Interpolated n-grams for model based testing ICSE 2014
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach ESOP 2002
A Semantic Driven Method to Check the Finiteness of CCS Processes CAV 1991
Axe 'Em: Eliminating Spurious States with Induction Axioms POPL 2025
Semantics of Probabilistic Programs using s-Finite Kernels in Coq CPP 2023
A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer-Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction ICFP 2024
A Counting Semantics for Monitoring LTL Specifications over Finite Traces CAV 2018
Verification of programs under the release-acquire semantics PLDI 2019