Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 2005
DOI: 10.1145/1040305.1040314
|View full text |Cite
|
Sign up to set email alerts
|

Synthesis of interface specifications for Java classes

Abstract: While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequencing 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 corresponding (dynamic) interface is the most general … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

1
218
0
1

Year Published

2005
2005
2015
2015

Publication Types

Select...
7

Relationship

1
6

Authors

Journals

citations
Cited by 215 publications
(220 citation statements)
references
References 34 publications
1
218
0
1
Order By: Relevance
“…The result of model checking is the same if we use the assumption or the original process. Second, while using the assumption may significantly accelerate the model checking, there is no penalty in the form of increased complexity as introduced by the intermediate state explosion problem [10,8] or by using deterministic automata [6,2,1,8]. In the worst case, the generated assumption is as large as the process itself.…”
Section: Discussionmentioning
confidence: 99%
See 2 more Smart Citations
“…The result of model checking is the same if we use the assumption or the original process. Second, while using the assumption may significantly accelerate the model checking, there is no penalty in the form of increased complexity as introduced by the intermediate state explosion problem [10,8] or by using deterministic automata [6,2,1,8]. In the worst case, the generated assumption is as large as the process itself.…”
Section: Discussionmentioning
confidence: 99%
“…To obtain a coarser forward equivalence relation F , we refine ≈ by distinguishing any two states m 1 …”
Section: Abstraction Refinementmentioning
confidence: 99%
See 1 more Smart Citation
“…We focus on black-box/grey-box techniques able to elicit behavioural models of the software. The reader interested on white-box techniques can refer to [3,37,38] and references therein.…”
Section: Related Workmentioning
confidence: 99%
“…(We will detail the concepts of relevant and essential CFG nodes in Section 4.2). This is different from the classical approach of defining the states as corresponding to predicates over the state variables, as done in the related approaches in the context of specification mining by static analysis for classes [13], [2]. We have chosen this approach because in real applications all the state variables can be complex data structures and it may be a complex task to determine predicate abstractions in this case.…”
Section: Preliminary Assumptionsmentioning
confidence: 99%