モデルベーステスト (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "モデルベーステスト" in Japanese language version.

refsWebsite

Global rank Japanese rank

low place

low place

low place

low place

2^nd place

6^th place

1,185^th place

2,667^th place

2,145^th place

8,722^nd place

acm.org

dl.acm.org

Gordon Fraser, Franz Wotawa, and Paul E. Ammann. Testing with model checkers: a survey. Software Testing, Verification and Reliability, 19(3):215–261, 2009.

amazon.de

ASIN 3843903484

brucker.ch

Brucker, Achim D.; Wolff, Burkhart (2012). “On Theorem Prover-based Testing”. Formal Aspects of Computing. doi:10.1007/s00165-012-0222-y.

doi.org

Brucker, Achim D.; Wolff, Burkhart (2012). “On Theorem Prover-based Testing”. Formal Aspects of Computing. doi:10.1007/s00165-012-0222-y.

waikato.ac.nz

cs.waikato.ac.nz

Practical Model-Based Testing: A Tools Approach, Mark Utting and Bruno Legeard, ISBN 978-0-12-372501-1, Morgan-Kaufmann 2007