Sciweavers

10182 search results - page 2 / 2037
» Case Studies
Sort
View
147
Voted
SAFECOMP
2007
Springer
16 years 1 days ago
Establishing Evidence for Safety Cases in Automotive Systems - A Case Study
Willem Ridderhof, Hans-Gerhard Groß, Heiko D...
TSE
2011
214views more  TSE 2011»
15 years 26 days ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim