Author:
Falcone Yliès,Fernandez Jean-Claude,Jéron Thierry,Marchand Hervé,Mounier Laurent
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Falcone, Y., Fernandez, J.C., Jéron, T., Marchand, H., Mounier, L.: More Testable Properties. Technical Report 7279, INRIA (2010)
2. Koch, B., Grabowski, J., Hogrefe, D., Schmitt, M.: Autolink: A Tool for Automatic Test Generation from SDL Specifications. In: Industrial-Strength Formal Specification Techniques (1998)
3. Jard, C., Jéron, T.: TGV: theory, principles and algorithms. International Journal on Software Tools for Technology Transfer (STTT), 297–315 (2005)
4. Traon, Y.L., Mouelhi, T., Baudry, B.: Testing Security Policies: Going Beyond Functional Testing. In: Int. Symp. on Software Reliability Engineering, pp. 93–102 (2007)
5. Mallouli, W., Orset, J.M., Cavalli, A., Cuppens, N., Cuppens, F.: A Formal Approach for Testing Security Rules. In: SACMAT 2007: Proceedings of the 12th ACM symposium on Access control models and technologies, pp. 127–132. ACM, New York (2007)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献