Sciweavers

7 search results - page 1 / 2
» qsic 2008
Sort
View
QSIC
2008
IEEE
15 years 10 months ago
An Executable Interface Specification for Industrial Embedded System Design
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...
QSIC
2008
IEEE
15 years 10 months ago
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenron...
91
Voted
QSIC
2008
IEEE
15 years 10 months ago
Model-Based Quality Assurance of the SMB2 Protocol Documentation
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
127
Voted
QSIC
2008
IEEE
15 years 10 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