Author:
Damasceno Adriana C.,Machado Patricia D. L.,Andrade Wilkerson L.
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference28 articles.
1. Andrade, W.L., Almeida, D.R., Cândido, J.B., Machado, P.D.L.: SYMBOLRT: a tool for symbolic model-based test case generation for real-time systems. In: 19th tools session of the 3rd Brazilian conference on software: theory and practice (CBSoft 2012), Best Tool Award, pp. 31–37 (2012). https://sites.google.com/a/computacao.ufcg.edu.br/symbolrt
2. Andrade, W.L., Machado, P.D.: Generating test cases for real-time systems based on symbolic models. IEEE Trans. Softw. Eng. 39(9), 1216–1229 (2013). doi: 10.1109/TSE.2013.13
3. Android developers. http://developer.android.com/ . Accessed 04 June, 2014
4. Bengtsson, J., Yi, W.: Timed automata: semantics, algorithms and tools. In: Lectures on concurrency and petri nets, pp. 87–124. Springer, Berlin (2004)
5. Bertrand, N., Jéron, T., Stainer, A., Krichen, M.: Off-line test selection with test purposes for non-deterministic timed automata. In: Proceedings of TACAS’11/ETAPS’11, pp. 96–111. Springer, Berlin (2011). http://dl.acm.org/citation.cfm?id=1987389.1987402