Under de senaste decennierna har många programanalysatorer utvecklats både inom akademi och industri. Trots deras överflöd finns det för närvarande inget systematiskt sätt att jämföra olika analysatorers effektivitet på godtycklig kod. I detta papper presenterar vi den första automatiserade tekniken för differentialtestning av ljud och precision av programanalysatorer. Vi använde vår teknik för att jämföra sex mogna, toppmoderna analysatorer på tiotusentals automatiskt genererade riktmärken. Vår teknik upptäckte ljud och precisionsfrågor i de flesta analysatorer, och vi utvärderade konsekvenserna av dessa frågor till både designers och användare av programanalysatorer. • Programvara och dess konstruktion → Verifiering och validering av programvara.
Klinger m.fl. REF använde differentialtest för att utvärdera både ljudnivån och precisionen hos programanalysatorerna.
Differentially testing soundness and precision of program analyzers
{'venue': 'ISSTA 2019', 'journal': None, 'mag_field_of_study': ['Computer Science']}