Static specification mining using automata-based abstractions

Citations Over TimeTop 1% of 2007 papers

Abstract

We present a novel approach to client-side mining of temporal API specifications based on static analysis. Specifically, we present an interprocedural analysis over a combined domain that abstracts both aliasing and event sequences for individual objects. The analysis uses a new family of automata-based abstractions to represent unbounded event sequences, designed to disambiguate distinct usage patterns and merge similar usage patterns. Additionally, our approach includes an algorithm that summarizes abstract traces based on automata clusters, and effectively rules out spurious behaviors.

Related Papers

• → On the Causes of Spurious Solutions in Electromagnetics(2002)18 cited
• → The Spurious Path Problem in Abstraction(2021)1 cited
• → Removing Spurious Features can Hurt Accuracy and Affect Groups Disproportionately(2020)3 cited
• → Receiver spurious responses—Computer improves receiver design(1966)
• Testing for Spurious Causality in Exchange Rates(1998)