Author:
Hanazumi Simone,de Melo Ana C. V.
Publisher
Springer International Publishing
Reference11 articles.
1. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems - Specification. Springer, New York (1992)
2. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of ICSE 1999, pp. 411–420. ACM, New York (1999)
3. Specification Patterns: March 2015.
http://patterns.projects.cis.ksu.edu/
4. Nahm, R., Grabowski, J., Hogrefe, D.: Test case generation for temporal properties. Technical report, Bern University (1993)
5. Lecture Notes in Computer Science;Y Falcone,2010