'Bugs found' presentation slideshows

We found bugs with static analysis and model checking and this is what we learned.

576 views • 47 slides

HeapMD: Identifying Heap-based Bugs using Anomaly Detection

HeapMD: Identifying Heap-based Bugs using Anomaly Detection. ASPLOS XII, October 2006 San Jose, California. A motivating example. pNewAsset = Initialize(pAssetParams); ... if (pAssetList->next != NULL) { pNewAsset->next = pAssetList->next pAssetList->next = pNewAsset }. pNewAsset.

439 views • 36 slides

HeapMD: Identifying Heap-based Bugs using Anomaly Detection

HeapMD: Identifying Heap-based Bugs using Anomaly Detection. ASPLOS XII, October 2006 San Jose, California. A motivating example. pNewAsset = Initialize(pAssetParams); ... if (pAssetList->next != NULL) { pNewAsset->next = pAssetList->next pAssetList->next = pNewAsset }. pNewAsset.

366 views • 36 slides

442 views • 30 slides

What Is Defect Removal Efficiency In Software Testing?

http://qatestlab.com/ Defect Removal Efficiency is a weighty metric used to estimate test efficacy.

791 views • 7 slides