0cd236c7365d0a257fac · The Bugs Framework (BF): A Structured Approach to Express Bugs
The Bugs Framework (BF): A Structured Approach to Express Bugs
To achieve higher levels of assurance for digital systems, we need to answer questions such as, does this software have bugs of these critical classes? Do these two tools generally find the same set of bugs, or different, complimentary sets? Can we
{
"title_en": "The Bugs Framework (BF): A Structured Approach to Express Bugs",
"designation": "",
"series": "",
"status": "",
"date": "2016-10-13",
"date_original": "October 13, 2016",
"url": "https://www.nist.gov/publications/bugs-framework-bf-structured-approach-express-bugs",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Irena Bojanova , Paul E. Black , Yaacov Yesha , Yan Wu",
"abstract_excerpt_en": "To achieve higher levels of assurance for digital systems, we need to answer questions such as, does this software have bugs of these critical classes? Do these two tools generally find the same set of bugs, or different, complimentary sets? Can we",
"id": "0cd236c7365d0a257fac",
"sources": [
"NIST Publications"
],
"source_records": [
{
"title_en": "The Bugs Framework (BF): A Structured Approach to Express Bugs",
"designation": "",
"series": "",
"status": "",
"date": "2016-10-13",
"date_original": "October 13, 2016",
"url": "https://www.nist.gov/publications/bugs-framework-bf-structured-approach-express-bugs",
"source": "NIST Publications",
"display_en": "",
"authors_en": "Irena Bojanova , Paul E. Black , Yaacov Yesha , Yan Wu",
"abstract_excerpt_en": "To achieve higher levels of assurance for digital systems, we need to answer questions such as, does this software have bugs of these critical classes? Do these two tools generally find the same set of bugs, or different, complimentary sets? Can we"
}
],
"translation_state": "none"
}