CORSICA 2013 work report: Test set generation, FPGA model checking, and fault injection

Jussi Lahtinen (Corresponding author), Jukka Ranta, Lauri Lötjönen

    Research output: Book/ReportReport

    Original languageEnglish
    Place of PublicationEspoo
    PublisherVTT Technical Research Centre of Finland
    Number of pages49
    Publication statusPublished - 2014
    MoE publication typeD4 Published development or research report or study

    Publication series

    SeriesVTT Research Report


    • Test set generation
    • test coverage
    • FPGA
    • model checking
    • fault injection

    Cite this