Skip to main content

Predicate-Based Test Generation for Computer Programs

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Tai:ICSE93,
  author    = {Kuo{-}Chung Tai},
  title     = {{Predicate-Based} Test Generation for Computer Programs},
  booktitle = {ICSE},
  pages     = {267--276},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1993},
}

Related papers

Experiments Determining Best Paths for Testing Computer Program Predicates ICSE 1985
Efficient Multiple and Predicated Dispatching OOPSLA 1999
Bounded exhaustive test-input generation on GPUs OOPSLA 2017
Analysis of the constraint solver in UNA based test data generation FSE 2001
Automated test generation for engineering applications ASE 2005
Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization PPoPP 1999
Korat: A Tool for Generating Structurally Complex Test Inputs ICSE 2007
Bounded exhaustive test input generation from hybrid invariants OOPSLA 2014