Academic Notes
Tags
Categories
code
papers
notes
About
Search
0%
Theme NexT works best with JavaScript enabled
Software Testing and Analysis
Tag
2021
04-12
[ISER] [STA] Bugs as deviant behavior: A general approach to inferring errors in systems code
2020
09-18
[ISER] [STA] AddressSanitizer: A fast address sanity checker
09-18
[ISER] [STA] A lightweight, general system for finding serious storage system errors
09-18
[ISER] [STA] Dynamically discovering likely program invariants to support program evolution