(19)
(11) EP 2 238 540 A1

(12)

(43) Date of publication:
13.10.2010 Bulletin 2010/41

(21) Application number: 08751038.4

(22) Date of filing: 01.02.2008
(51) International Patent Classification (IPC): 
G06F 11/36(2006.01)
(86) International application number:
PCT/IB2008/001327
(87) International publication number:
WO 2009/095741 (06.08.2009 Gazette 2009/32)
(84) Designated Contracting States:
AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MT NL NO PL PT RO SE SI SK TR
Designated Extension States:
AL BA MK RS

(71) Applicant: The Mathworks, Inc.
Natick, MA 01760-2098 (US)

(72) Inventors:
  • MUNIER, Patrick
    F-38330 Montbonnot Saint Martin (FR)
  • YIN, Haibin
    F-38220 Notre Dame de Mesage (FR)
  • PREVE, Cyril
    F-38610 Gieres (FR)

(74) Representative: Betten & Resch 
Patentanwälte Theatinerstrasse 8
80333 München
80333 München (DE)

   


(54) SELECTIVE CODE INSTRUMENTATION FOR SOFTWARE VERIFICATION