149 search results - page 10 / 30 » QuickSpec: Guessing Formal Specifications Using Testing |
IV
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
ICFEM
2000
Springer
15 years 1 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
106
click to vote
PLDI
1996
ACM
15 years 1 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
EMNLP
2008
14 years 11 months ago
2008
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...
155
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...