Skip to main content

Automatic Revision of Formal Test Procedures

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Panzl:ICSE78,
  author    = {David J. Panzl},
  title     = {Automatic Revision of Formal Test Procedures},
  booktitle = {ICSE},
  pages     = {320--326},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
}

Related papers

Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes ICSE 2014
Sieve: A Tool for Automatically Detecting Variations Across Program Versions ASE 2006
Iterative test suites refinement for elastic computing systems FSE 2013
A framework for checking regression test selection tools ICSE 2019
Formalizing determinacy of concurrent revisions CPP 2020
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation VMCAI 2020
Automatic Inter-Procedural Test Case Generation ASE 2002
FOSS version differentiation as a benchmark for static analysis security testing tools FSE 2017