Integration of Static and Dynamic Analysis Techniques for Checking Noninterference-Reference-Cited by-同舟云学术

Integration of Static and Dynamic Analysis Techniques for Checking Noninterference

Published:2020 Issue: Volume: Page:287-312
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Beckert Bernhard,Herda Mihai^ORCID,Kirsten Michael^ORCID,Tyszberowicz Shmuel^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-64354-6_12

Reference36 articles.

1. Lecture Notes in Computer Science;A Abadi,2012

2. Agrawal, H.: On slicing programs with jump statements. In: Sarkar, V., Ryder, B.G., Soffa, M.L. (eds.) PLDI 1994, pp. 302–312. ACM (1994). https://doi.org/10.1145/178243.178456

3. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P.H., Ulbrich, M. (eds.): Deductive Software Verification - The KeY Book: From Theory to Practice. LNCS, vol. 10001. Springer (2016). https://doi.org/10.1007/978-3-319-49812-6

4. Ahrendt, W., Gladisch, C., Herda, M.: Proof-based test case generation. In: Ahrendt et al. [3], chap. 12, pp. 415–451. https://doi.org/10.1007/978-3-319-49812-6_12

5. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: Version 2.0. Tech. rep., Department of Computer Science, The University of Iowa (2010), http://smt-lib.org/papers/smt-lib-reference-v2.0-r12.09.09.pdf, www.smt-lib.org

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

1. Combining static analysis error traces with dynamic symbolic execution (experience paper);Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18