4743 search results - page 500 / 949 » The PlusCal Algorithm Language |
138
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
116
click to vote
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
194
Voted
DAC
2005
ACM
16 years 4 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
135
click to vote
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
Shannon's Noisy-Channel model, which describes how a corrupted message might be reconstructed, has been the corner stone for much work in statistical language and speech proc...
102
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
This paper presents a tree-pattern-based method of automatically and accurately finding code clones in program files. Duplicate tree-patterns are first collected by anti-unificati...