455 search results - page 18 / 91 » Directed test generation using symbolic grammars |
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
74
Voted
LREC
2010
14 years 11 months ago
2010
We investigate Arabic Context Free Grammar parsing with dependency annotation comparing lexicalised and unlexicalised parsers. We study how morphosyntactic as well as function tag...
EDBT
2010
ACM
15 years 2 months ago
2010
ACM
Database engines and database-centric applications have become complex software systems. Ensuring bug-free database services is therefore a very difficult task. Whenever possible...
62
Voted
EMNLP
2007
14 years 11 months ago
2007
We present a simple history-based model for sentence generation from LFG f-structures, which improves on the accuracy of previous models by breaking down PCFG independence assumpt...
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
One of the major problems one is faced with when decomposing words into their constituent parts is ambiguity: the generation of multiple analyses for one input word, many of which...