Test Generation Based on Symbolic Specifications

  title={Test Generation Based on Symbolic Specifications},
  author={Lars Frantzen and Jan Tretmans and Tim A. C. Willemse},
Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values. To implement these theories, data types which have infinite universes have to be cut down to finite variants, which are subsequently enumerated to fit in the model. This leads to an explosion of the state space. Moreover, exploiting the syntactical and/or semantical information of the involved data types is non-trivial after… CONTINUE READING
Highly Influential
This paper has highly influenced 23 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 150 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 96 extracted citations

APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities

International Journal on Software Tools for Technology Transfer • 2014
View 4 Excerpts
Highly Influenced

Web Service Assurance: The Notion and the Issues

Future Internet • 2012
View 6 Excerpts
Highly Influenced

Passive Testing with Proxy-testers

View 4 Excerpts
Highly Influenced

An Approach Dedicated for Web Service Security Testing

2010 Fifth International Conference on Software Engineering Advances • 2010
View 4 Excerpts
Highly Influenced

150 Citations

Citations per Year
Semantic Scholar estimates that this publication has 150 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-8 of 8 references

Tools for Test Case Generation

Model-Based Testing of Reactive Systems • 2004
View 1 Excerpt

Testing reactive systems with GAST

Trends in Functional Programming • 2003
View 1 Excerpt

Test Generation with Inputs, Outputs and Repetitive Quiescence

Software - Concepts and Tools • 1996
View 5 Excerpts

Tretmans . Test generation with inputs , outputs and repetitive quiescence

W. Grieskamp, T. Santen
Software — Concepts and Tools • 1996

Similar Papers

Loading similar papers…