Efficiency and Applications of SAT-Based Test Pattern Generation - Complex fault models and optimisation problems.

Beschreibung

Autor*in

Alexander Czutro

Themen in »Efficiency and Applications of SAT-Based Test Pattern Generation - Complex fault models and optimisation problems.«

Complex Defect Mechanisms Dynamic Compaction Generic Fault Models Sat Solving With Qualitative Preferences Sat – based test pattern Generation Test Generation With Optimisation Constraints

Stimmen zu »Efficiency and Applications of SAT-Based Test Pattern Generation - Complex fault models and optimisation problems.«

Details

Link teilen