Online testing with model programs

@inproceedings{Veanes2005OnlineTW,
  title={Online testing with model programs},
  author={Margus Veanes and Colin Campbell and Wolfram Schulte and Nikolai Tillmann},
  booktitle={ESEC/SIGSOFT FSE},
  year={2005}
}
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorithm that is implemented in the model-based testing tool developed at Microsoft Research called Spec Explorer. Spec Explorer is being used daily by several Microsoft product groups. Model programs in Spec Explorer are written in the high level specification languages AsmL or Spec\#. We view model programs as implicit… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 40 CITATIONS, ESTIMATED 53% COVERAGE

75 Citations

051015'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 75 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

Similar Papers

Loading similar papers…