1 |
A. Hessel, "Model-based test case generation for real-time systems," Ph.D, Dissertation, U ppsala University, Sweden, May. 2007.
|
2 |
R. Alur, "Timed automata," Verification of Digital and Hybrid Systems, Vol. 170, pp. 233-264, Springer Berlin Heidelberg, 2000.
|
3 |
A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zolch, T. Stauner, "One evaluation of model-based testing and its automation," Proc. of the 27th international conference on Software engineering, pp. 392-401, May. 2005.
|
4 |
M. T. B. Waez, J. Dingel, and K. Rudie, "A survey of timed automata for the development of real-time systems," Computer Science Review, Vol. 9, pp. 1-26, Aug. 2013.
DOI
|
5 |
K.G. Larsen, M. Mikucionis, B. Nielsen, and A. Skou, "Testing real-time embedded software using UPPAAL-TRON: an industrial case study," Proc. of the 5th ACM international conference on Embedded software, pp. 299-306, Sep. 2005.
|
6 |
A. Hessel, and P. Pettersson, "CoVer-a real-time test case generation tool," Proc. of the 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, 2007.
|
7 |
W. L. Andrade, and P. D. L. Machado, "Generating Test Cases for Real-Time Systems Based on Symbolic Models," IEEE Transactions on Software Engineering, Vol. 39, No. 9, pp. 1216-1229, Sep. 2013.
DOI
|
8 |
G. Behrmann, A. David, and K. G. Larsen, "A Tutorial on UPPAAL 4.0," Department of Computer Science, Aalborg University, Denmark, 2006.
|
9 |
A. Hessel, K.G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson, and A. Skou, "Testing real-time systems using UPPAAL," Formal methods and testing, Vol. 4949, pp. 77-117, Springer Berlin Heidelberg, 2008.
DOI
|
10 |
M. Utting, A. Pretschner, and B. Legeard, "A taxonomy of model-based testing approaches," Software Testing, Verification and Reliability, Vol. 22, No. 5, pp. 297-312, Aug. 2012.
DOI
|