Publications

A Milp-Based Approach to Path Sensitization of Embedded Software

AuthID
P-003-PN4

Author(s)

Costa, JC

Monteiro, JC

Document Type

Proceedings Paper

Year published

2009

Published

in DATE: 2009 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3 in Design Automation and Test in Europe Conference and Expo, ISSN: 1530-1591

Pages: 1568-1571 (4)

Conference

Design, Automation and Test in Europe Conference and Exhibition, Date: APR 20-24, 2009, Location: Nice, FRANCE, Sponsors: European Design and Automation Association;EDA Consortium;IEEE Computer Society TTTC;IEEE Council on Electronic Design Automation, CEDA;ECSI

Indexing