Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078956472> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2078956472 endingPage "1287" @default.
- W2078956472 startingPage "1274" @default.
- W2078956472 abstract "Bug traces produced in simulation serve as the basis for patching the RTL code in order to fix a bug. It is important to prove that the patch covers all instances of the bug scenario; otherwise, the bug may return with a different valuation of the variables involved in the bug scenario. For large circuits, formal methods do not scale well enough to comprehensively eliminate the bug, and achieving adequate coverage in simulation and regression testing becomes expensive. This paper proposes formal methods for analyzing the control trace leading to the observed manifestation of the bug and verifying the robustness of the bug fix with respect to that control trace. We propose a classification of the bug fix based on the guarantee that our analysis can provide about the quality of the bug fix. Our method also prescribes the types of tests that are recommended to validate the bug fix on other types of scenarios. Since our methods are more scalable by orders of magnitude than model checking the entire design, we believe that the proposed formal methods hold immense promise in analyzing bug fixes in practice." @default.
- W2078956472 created "2016-06-24" @default.
- W2078956472 creator A5017322473 @default.
- W2078956472 creator A5033329960 @default.
- W2078956472 creator A5053545618 @default.
- W2078956472 creator A5073188085 @default.
- W2078956472 creator A5076542292 @default.
- W2078956472 date "2013-08-01" @default.
- W2078956472 modified "2023-09-28" @default.
- W2078956472 title "Formal Guarantees for Localized Bug Fixes" @default.
- W2078956472 cites W1495760906 @default.
- W2078956472 cites W1596195519 @default.
- W2078956472 cites W1819209966 @default.
- W2078956472 cites W1982765126 @default.
- W2078956472 cites W1984248430 @default.
- W2078956472 cites W1984733309 @default.
- W2078956472 cites W1988635588 @default.
- W2078956472 cites W2003233756 @default.
- W2078956472 cites W2009965218 @default.
- W2078956472 cites W2013887890 @default.
- W2078956472 cites W2055770200 @default.
- W2078956472 cites W2057992103 @default.
- W2078956472 cites W2087958491 @default.
- W2078956472 cites W2096950720 @default.
- W2078956472 cites W2097293815 @default.
- W2078956472 cites W2103846971 @default.
- W2078956472 cites W2137012271 @default.
- W2078956472 cites W2140946106 @default.
- W2078956472 cites W2293624369 @default.
- W2078956472 cites W4236162975 @default.
- W2078956472 cites W4239692625 @default.
- W2078956472 cites W2165759298 @default.
- W2078956472 doi "https://doi.org/10.1109/tcad.2013.2252055" @default.
- W2078956472 hasPublicationYear "2013" @default.
- W2078956472 type Work @default.
- W2078956472 sameAs 2078956472 @default.
- W2078956472 citedByCount "5" @default.
- W2078956472 countsByYear W20789564722015 @default.
- W2078956472 countsByYear W20789564722016 @default.
- W2078956472 countsByYear W20789564722020 @default.
- W2078956472 countsByYear W20789564722022 @default.
- W2078956472 countsByYear W20789564722023 @default.
- W2078956472 crossrefType "journal-article" @default.
- W2078956472 hasAuthorship W2078956472A5017322473 @default.
- W2078956472 hasAuthorship W2078956472A5033329960 @default.
- W2078956472 hasAuthorship W2078956472A5053545618 @default.
- W2078956472 hasAuthorship W2078956472A5073188085 @default.
- W2078956472 hasAuthorship W2078956472A5076542292 @default.
- W2078956472 hasConcept C199360897 @default.
- W2078956472 hasConcept C41008148 @default.
- W2078956472 hasConceptScore W2078956472C199360897 @default.
- W2078956472 hasConceptScore W2078956472C41008148 @default.
- W2078956472 hasIssue "8" @default.
- W2078956472 hasLocation W20789564721 @default.
- W2078956472 hasOpenAccess W2078956472 @default.
- W2078956472 hasPrimaryLocation W20789564721 @default.
- W2078956472 hasRelatedWork W1491366424 @default.
- W2078956472 hasRelatedWork W1527862632 @default.
- W2078956472 hasRelatedWork W2109507516 @default.
- W2078956472 hasRelatedWork W2112962394 @default.
- W2078956472 hasRelatedWork W2118300983 @default.
- W2078956472 hasRelatedWork W2135396778 @default.
- W2078956472 hasRelatedWork W2740990710 @default.
- W2078956472 hasRelatedWork W3137189469 @default.
- W2078956472 hasRelatedWork W4235530921 @default.
- W2078956472 hasRelatedWork W4243252198 @default.
- W2078956472 hasVolume "32" @default.
- W2078956472 isParatext "false" @default.
- W2078956472 isRetracted "false" @default.
- W2078956472 magId "2078956472" @default.
- W2078956472 workType "article" @default.