Sciweavers

7 search results - page 1 / 2
» qsic 2008
Sort
View
QSIC
2008
IEEE
14 years 1 months ago
An Executable Interface Specification for Industrial Embedded System Design
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...
QSIC
2008
IEEE
14 years 1 months ago
Model-Based Quality Assurance of the SMB2 Protocol Documentation
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
QSIC
2008
IEEE
14 years 1 months ago
Path and Context Sensitive Inter-procedural Memory Leak Detection
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
Zhongxing Xu, Jian Zhang