2774 search results - page 311 / 555 » Query-Driven Program Testing |
107
Voted
ICLP
1992
Springer
15 years 6 months ago
1992
Springer
: Whiledecision tree compilationis a promisingway tocarry out guard tests e ciently, the methods given in the literature do not take into account either the execution characteristi...
150
Voted
TOOLS
1992
IEEE
15 years 6 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
134
Voted
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
128
click to vote
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
134
Voted
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
We study the definability of constraint satisfaction problems (CSP) in various fixed-point and infinitary logics. We show that testing the solvability of systems of equations over...