Author:
Mouttappa Pramila,Maag Stephane,Cavalli Ana
Subject
Computer Networks and Communications
Reference35 articles.
1. C. Gaston, P.L. Gall, N. Rapin, A. Touil, Symbolic execution techniques for test purpose definition, in: 18th IFIP Testing of Communicating Systems (TestCom), 2006, pp. 1–18.
2. M. Oostdijk, V. Rusu, J. Tretmans, R.D. Vries, T. Willemse., Integrating verification, testing, and learning for cryptographic protocols, in: Proceedings of the 6th International Conference on Integrated Formal Methods, IFM’07, 2007, pp. 538–557.
3. V. Rusu, H. Marchand, T. Jéron, Automatic verification and conformance testing for validating safety properties of reactive systems, in: International Symposium of Formal Methods Europe, 2005, pp. 189–204.
4. L. Bentakouk, P. Poizat, F. Zaidi, Checking the behavioral conformance of web services with symbolic testing and an smt solver, in: Proceedings of the 5th International Conference on Tests and proofs, 2011, pp. 33–50.
5. E.J.M. Weiglhofer, B.K. Aichernig, F. Wotawa, When bdds fail: conformance testing with symbolic execution and smt solving, in: ICST, 2010, pp. 479–488.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献