Search Sciweavers | Sciweavers

4007 search results - page 69 / 802

» Automotive Software Integration

241

click to vote

ICLP
2009
Springer

153views Automated Reasoning» more ICLP 2009»

Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework

16 years 2 months ago

Download www.clip.dia.fi.upm.es

Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...

Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut...

claim paper

Read More »

120

click to vote

SOFSEM
2010
Springer

169views Theoretical Computer Science» more SOFSEM 2010»

Model-Driven Software Product Line Testing: An Integrated Approach

15 years 8 months ago

Download www.sofsem.cz

Andy Schürr, Sebastian Oster, Florian Markert

claim paper

Read More »

132

click to vote

TRUST
2009
Springer

143views Security Privacy» more TRUST 2009»

Securing the Dissemination of Emergency Response Data with an Integrated Hardware-Software Architecture

15 years 8 months ago

Download cisr.nps.navy.mil

During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations ﬁrst responders need the name...

Timothy E. Levin, Jeffrey S. Dwoskin, Ganesha Bhas...

claim paper

Read More »

click to vote

ECBS
2006
IEEE

97views Hardware» more ECBS 2006»

Safe Integration of New Concerns in a Software Architecture

15 years 8 months ago