Amanote Research
Register
Sign In
RTL Functional Test Generation Using Factored Concolic Execution
doi 10.1109/test.2017.8242038
Full Text
Open PDF
Abstract
Available in
full text
Date
October 1, 2017
Authors
Sonal Pinto
Michael S. Hsiao
Publisher
IEEE
Related search
APT Detection With Concolic Execution
International Journal of Hybrid Information Technology
Computer Science
Spectral RTL Test Generation for Gate-Level Stuck-At Faults
Proceedings of the Asian Test Symposium
Electronic Engineering
Electrical
Functional Test Generation Using Constraint Logic Programming
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Research on Fuzz Testing Framework Based on Concolic Execution
DEStech Transactions on Computer Science and Engineering
Automatic JUnit Generation and Quality Assessment Using Concolic and Mutation Testing
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
An Overview on Test Generation From Functional Requirements
Journal of Systems and Software
Hardware
Information Systems
Architecture
Software
Functional Fault Equivalence and Diagnostic Test Generation in Combinational Logic Circuits Using Conventional ATPG
Journal of Electronic Testing: Theory and Applications (JETTA)
Electronic Engineering
Electrical
Security Test Generation Using Threat Trees
A Systematic Review of Concolic Testing With Aplication of Test Criteria
