Symbolic execution based test-patterns generation algorithm for hardware Trojan detection
نویسندگان
چکیده
منابع مشابه
A Practical Test Patterns Generation Technique for Hardware Trojan Detection
Due to the globalization of the integrated circuit manufacturing industry, hardware Trojans constitutes an increasingly probable threat to both military and commercial applications. The Trojans being stealthy in nature, the Trojan hardware is hard to be triggered under random patterns. In this paper, we propose practical test patterns generation technique based on rare logic conditions at inter...
متن کاملImproved Test Pattern Generation for Hardware Trojan Detection Using Genetic Algorithm and Boolean Satisfiability
Test generation for Hardware Trojan Horses (HTH) detection is extremely challenging, as Trojans are designed to be triggered by very rare logic conditions at internal nodes of the circuit. In this paper, we propose a Genetic Algorithm (GA) based Automatic Test Pattern Generation (ATPG) technique, enhanced by automated solution to an associated Boolean Satisfiability problem. The main insight is...
متن کاملTest Generation Using Symbolic Execution
This paper presents a short introduction to automatic code-driven test generation using symbolic execution. It discusses some key technical challenges, solutions and milestones, but is not an exhaustive survey of this research area. 1998 ACM Subject Classification D.2.5 Testing and Debugging, D.2.4 Software/Program Verification
متن کاملSymbolic Execution Algorithms for Test Generation
of the Dissertation Symbolic Execution Algorithms for Test Generation
متن کاملExhaustive Test-case Generation using Symbolic Execution
Software testing has been one of the major challenges in the development of software for enterprise systems because it accounts for 30% to 50% of the total development cost required. Meanwhile, such testing has become increasingly important, because the upcoming paradigm for information and communications technology (ICT) system development, such as test-driven development and continuous integr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Security
سال: 2018
ISSN: 0167-4048
DOI: 10.1016/j.cose.2018.07.006