Automated Test Case Generation for Function Block Diagrams using Java Path Finder and Symbolic Execution

Detta är en Master-uppsats från Mälardalens högskola/Akademin för innovation, design och teknik

Författare: Sebastian Kunze; [2015]

Nyckelord: ;

Sammanfattning:

  HÄR KAN DU HÄMTA UPPSATSEN I FULLTEXT. (följ länken till nästa sida)