|
F. Abbors, and D. Truscan. “Approaching Performance Testing from a Model-Based Testing Perspective”, Proceedings of the 2th International Conference on Advances in System Testing and Validation Lifecycle (VALID), pp.125–28, 2010.
|
|
C. Baier, and J. P. Katoen. “Principles of Model Checking”. Publisher: The MIT Press, ISBN-10: 026202649, 2008.
|
|
T. Ball, and S. K. Rajamani. “SLIC: A Speci?cation Language for Interface Checking”. Technical Report, MSR-TR-2001-21, Microsoft Research, 2002.
|
|
B. Beizer. “Software Testing Technologies”. ISBN: 1850328803, Publisher: Itp-Media, 2nd Edition 1990.
|
|
E. M. Clarke, O. Grumberg, and D. A. Peled. “Model Checking”, Publisher: MIT Press, ISBN: 9780262032704, 2000.
|
|
M. Daum, N. W. Schirmer and M. Schmidt. “Implementation Correctness of a Real-time Operating System”. Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods. IEEE Computer Society, pp.23–27, 2009.
|
|
G. Fraser, F. Wotawa, and P. E. Ammann. “Testing with Model Checkers: A survey”. SNA Technical Report, 2007.
|
|
L. Fang, T. Kitamura, T. B. N. Do, and H. Ohsaki. “Formal Model-Based Test for AUTOSAR Multicore RTOS”. Proceedings of the 5th IEEE International Conference on Software Testing, Veri?cation and Validation. IEEE Computer Society, pp.251–259, 2012.
|
|
J. M. Glenford. “The Art of Software Testing”. Publisher: Wiley, ISBN: 0471469122, 2004.
|
|
G. Hamon, L. D. Moura, and J. Rushby. “Generating Ef?cient Test Sets with a Model Checker”. Proceedings of the 2th IEEE International Conference on Software Engineering and Formal Methods, IEEE Computer Society, pp.261–270, 2007.
|
|
M. P. Heimdahl, S. Rayadurgam, W. Visser, G. Devaraj, and J. Gao. “Auto-generating Test Sequences Using Model Checkers: A Case Study”. Proceedings of the 3th International Workshop Formal Approaches to Software Testing. Springer, LNCS 2931, pp.42–59, 2004.
|
|
G. J. Holzmann. “The Model Checker SPIN. IEEE Transactions on Software Engineering”. Vol. 30, No. 6, pp.626–634, 1989.
|
|
Q. Li, and C. Yao, “Real-time Concepts for Embedded Systems”, CMP Press, 2003.
|
|
B. Lindstrom, P. Pettersson, and J. Offutt. “Generating Trace-Sets for Model-based Testing”. Proceedings of the 18th IEEE International Symposium on Software Reliability Engineering. IEEE Computer Society, pp.171–180, 2007.
|
|
OSEK test plan: portal.osek-vdx.org/?les/pdf/modistarc/ostestplan20.pdf.
|
|
SpecExplore homepage: research.microsoft.com/en-us/projects/specexplorer.
|
|
Toppers homepage: www.toppers.jp/en/index.html.
|
|
Zipc homepage (in Japanese): http://www.zipc.com/download/catalog/pdf/product/zipc tester.pdf.
|