1554 search results - page 161 / 311 » Testing Polymorphic Behavior |
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
ISSTA
2006
ACM
2006
ACM
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
14 years 1 months ago
Distributed hard real-time systems have become a major component of many advanced technical products. Means to ensure their proper quality are thus of paramount importance. To ens...
WOWMOM
2006
ACM
14 years 1 months ago
2006
ACM
— It has been observed that IEEE 802.11 commercial cards produced by different vendors show a different behavior in terms of perceived throughput or access delay. Performance dif...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
VL
2005
IEEE
14 years 1 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...