Security Mutants for Property-Based Testing-Reference-Cited by-同舟云学术

Security Mutants for Property-Based Testing

Published:2011 Issue: Volume: Page:69-77
ISSN:0302-9743
Container-title:Tests and Proofs
language:
Short-container-title:

Author:

Büchler Matthias,Oudinet Johan,Pretschner Alexander

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21768-5_6

Reference24 articles.

1. Ammann, P., Ding, W., Xu, D.: Using a model checker to test safety properties. In: International Conference on Engineering of Complex Computer Systems, pp. 212–221. IEEE, Los Alamitos (2001)

2. Ammann, P.E., Black, P.E., Majurski, W.: Using model checking to generate tests from specifications. In: ICFEM, pp. 46–54. IEEE, Los Alamitos (1998)

3. Lecture Notes in Computer Science;A. Armando,2005

4. Brucker, A.D., Brügger, L., Wolff, B.: Model-based firewall conformance testing. In: TestCom/FATES, pp. 103–118 (2008)

5. Dadeau, F., Héam, P.-C., Kheddam, R.: Mutation-based test generation from security protocols in HLPSL. In: ICST, p. 9. IEEE, Los Alamitos (2011)

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A mutation-based approach for the formal and automated analysis of security ceremonies;Journal of Computer Security;2022-11-23

2. Formal Methods for Socio-technical Security;Lecture Notes in Computer Science;2022

3. Error Finding in Real-Time Systems using Mutants of Temporal Properties;2021 40th International Conference of the Chilean Computer Science Society (SCCC);2021-11-15

4. A process algebraic mutation framework with application to a vehicle charging protocol;Vehicular Communications;2021-08

5. X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies;2020 IEEE European Symposium on Security and Privacy (EuroS&P);2020-09