Synthesizing replacement classes
Citations Over TimeTop 10% of 2019 papers
Abstract
We present a new technique for automatically synthesizing replacement classes. The technique starts with an original class O and a potential replacement class R, then uses R to synthesize a new class that implements the same interface and provides the same functionality as O. Critically, our technique works with a synthe- sized inter-class equivalence predicate between the states of O and R. It uses this predicate to ensure that original and synthesized methods leave corresponding O and R objects in equivalent states. The predicate therefore enables the technique to synthesize individual replacement methods in isolation while still obtain- ing a replacement class that leaves the original and replacement objects in equivalent states after arbitrarily long method invocation sequences. We have implemented the technique as part of a tool, named Mask, and evaluated it using open-source Java classes. The results highlight the effectiveness of Mask in synthesizing replacement classes.
Related Papers
- The Development of Small and Medium Scale Enterprises (SME's) in East Java: A Shift-Share Analysis(2018)
- → Analysis Competitiveness of Sugarcane Farming in Central Java and East Java(2017)2 cited
- → East Java Maritime Connectivity and Its Regional Development Support(2017)
- → Application of Inter-Organizational Communication for Collaboration (Descriptive Study Between UPT BP2MI East Java and P3MI in East Java)(2022)
- → The Climatic Benefit of Perennial Rice Cropping System: A Case Study in West Java, Central Java, and East Java(2023)