Automatic structural testing with abstraction refinement and coarsening

PDF DOI 10.1145/2025113.2025173 dblp

Abstract

White box testing, also referred to as structural testing, can be used to assess the validity of test suites with respect to the implementation. The applicability of white box testing and structural coverage is limited by the difficulty and the cost of inspecting the uncovered code elements to either generate test cases that cover elements not yet executed or to prove the infeasibility of the elements not yet covered.

BibTeX

@inproceedings{Baluda:FSE11,
  author    = {Mauro Baluda},
  title     = {Automatic structural testing with abstraction refinement and coarsening},
  booktitle = {FSE},
  pages     = {400--403},
  publisher = {{ACM}},
  year      = {2011},
}

Automatic structural testing with abstraction refinement and coarsening

Abstract

Related papers