Author:
Aharon Aharon,Goodman Dave,Levinger Moshe,Lichtenstein Yossi,Malka Yossi,Metzger Charlotte,Molcho Moshe,Shurek Gil
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Architectural Support for Containment-based Security;Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems;2019-04-04
2. Automated Generation of Directed Tests;System-Level Validation;2012-09-25
3. Injecting Floating-Point Testing Knowledge into Test Generators;Hardware and Software: Verification and Testing;2012
4. Authentication of Processor Hardware Leveraging Performance Limits in Detailed Simulations and Emulations;Information Security and Cryptography;2010
5. Functional test generation using design and property decomposition techniques;ACM Transactions on Embedded Computing Systems;2009-07