Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Synthesis of Interface Specifications for Java Classes Rajeev Alur Pavol Cerny

Summary: Synthesis of Interface Specifications for Java Classes
Rajeev Alur Pavol Cern´y
P. Madhusudan Wonhong Nam
Department of Computer and Information Science
University of Pennsylvania
Philadelphia, PA 19104
{alur, cernyp, madhusudan, wnam}@cis.upenn.edu
While a typical software component has a clearly specified
(static) interface in terms of the methods and the input/out-
put types they support, information about the correct se-
quencing of method calls the client must invoke is usually
undocumented. In this paper, we propose a novel solution
for automatically extracting such temporal specifications for
Java classes. Given a Java class, and a safety property such
as "the exception E should not be raised", the correspond-
ing (dynamic) interface is the most general way of invoking
the methods in the class so that the safety property is not
violated. Our synthesis method first constructs a symbolic
representation of the finite state-transition system obtained


Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania
Parthasarathy, Madhusudan - Department of Computer Science, University of Illinois at Urbana-Champaign


Collections: Computer Technologies and Information Sciences