Constraint-based heuristic on-line test generation from non-deterministic I/O EFSMs
Ahman, Danel
;
Kääramees, Marko
EPTCS 80 : proceedings of the 7th Workshop on Model-Based Testing : Tallinn, Estonia, 25 March 2012
2012
/
p. 115-129 : ill
https://www.semanticscholar.org/paper/Constraint-Based-Heuristic-On-line-Test-Generation-Ahman-K%C3%A4%C3%A4ramees/c798ef6753277479b79652be2a5921a1db94c74c
GUARD: An ABC-GA hybrid approach utilizing mAchine LeaRning and dimensionality reduction for hardware Trojan detection
Hosseini, Mostafa
;
Azarpeyvand, Ali
;
Bagheri, Foad
;
Ghasempouri, Tara
2025 IEEE East-West Design & Test Symposium (EWDTS)
2025
/
8 p
http://doi.org/10.1109/EWDTS67441.2025.11303691