Sign in
On the detection of board delay faults through the execution of functional programs.
Gaiping An
Riccardo Cantoro
Ernesto Sánchez
Matteo Sonza Reorda
Published in:
LATS (2017)
Keyphrases
</>
functional programs
term rewriting systems
lazy evaluation
fault diagnosis
databases
high level
test cases
machine learning