Optimisation-based black-box testing of assertions in Simulink models

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Pontus Boström, Jerker Björkqvist
Publisher: Turku Centre for Computer Science (TUCS)
Publication year: 2005
Title of series: TUCS Technical Report
Number in series: 711
Number of pages: 21
ISBN: 952-12-1607-7
ISSN: 1239-1891

Last updated on 2020-31-03 at 02:41