Sciweavers

7 search results - page 1 / 2
» qsic 2008
Sort
View
QSIC
2008
IEEE
14 years 22 days ago
An Executable Interface Specification for Industrial Embedded System Design
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...
QSIC
2008
IEEE
14 years 22 days ago
Model-Based Quality Assurance of the SMB2 Protocol Documentation
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
QSIC
2008
IEEE
14 years 22 days 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