An Automated Methodology for Cogeneration of Test Blocks for Peripheral Cores

An Effective Technique for the Automatic Generation of Diagnosis-Oriented Programs for Processor Cores

An Enhanced Technique for the Automatic Generation of Effective Diagnosis-oriented Test Programs for Processor

Automatic test generation for verifying microprocessors

Automatic test program generation: a case study

Automotive Microcontroller End-of-Line Test via Software-Based Methodologies

Byron: A Fuzzer for Turing-complete Test Programs

scientific article published on 01 August 2024

Coupling different methodologies to validate obsolete microprocessors

Design validation of multithreaded architectures using concurrent threads evolution

Diagnosing Faulty Functional Units in Processors by Using Automatically Generated Test Sets

Efficient Techniques for Automatic Verification-Oriented Test Set Optimization

Identification and Rejuvenation of NBTI-Critical Logic Paths in Nanoscale Circuits

Initializability analysis of synchronous sequential circuits

New evolutionary techniques for test-program generation for complex microprocessor cores

Observability solutions for in-field functional test of processor-based systems: A survey and quantitative test case evaluation

On Automatic Test Block Generation for Peripheral Testing in SoCs via Dynamic FSMs Extraction

On the generation of test programs for chip multi-thread computer architectures

Rejuvenation of nanoscale logic at NBTI-critical paths using evolutionary TPG

The Maximum Common Subgraph Problem: A Parallel and Multi-Engine Approach

scientific article published in 2020

The selfish gene algorithm

article

Towards automatic StarCraft strategy generation using genetic programming

scientific article published in August 2015