Hacker News with Generative AI: Bug Detection
« Back to main
Inference of Error Specifications and Bug Detection Using Structural Similarity [pdf]
(usenix.org)
Software Engineering
,
Bug Detection
,
Error Analysis
,
Code Analysis
,
Structural Similarity
14 points by luu 130 days ago |
0 comments
How Antithesis finds bugs
(antithesis.com)
Software
,
Bug Detection
,
Debugging
160 points by wwilson 218 days ago |
53 comments