↓ Skip to main content

Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers

Overview of attention for book
Attention for Chapter 3: A Symbolic Framework for Model-Based Testing
Altmetric Badge

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
40 Mendeley
citeulike
1 CiteULike
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Symbolic Framework for Model-Based Testing
Chapter number 3
Book title
Formal Approaches to Software Testing and Runtime Verification
Published by
Springer, Berlin, Heidelberg, January 2006
DOI 10.1007/11940197_3
Book ISBNs
978-3-54-049699-1, 978-3-54-049703-5
Authors

L. Frantzen, J. Tretmans, T. A. C. Willemse

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 40 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Japan 1 3%
Hungary 1 3%
Portugal 1 3%
Austria 1 3%
Unknown 36 90%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 12 30%
Student > Master 10 25%
Researcher 4 10%
Student > Doctoral Student 2 5%
Student > Bachelor 2 5%
Other 5 13%
Unknown 5 13%
Readers by discipline Count As %
Computer Science 31 78%
Engineering 2 5%
Business, Management and Accounting 1 3%
Arts and Humanities 1 3%
Unknown 5 13%