455 search results - page 50 / 91 » Directed test generation using symbolic grammars |
177
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
164
click to vote
ICST
2009
IEEE
16 years 23 days ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
181
click to vote
ICGI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this article, we propose the use of suffix arrays to efficiently implement n-gram language models with practically unlimited size n. This approach, which is used with ...
154
click to vote
ISSTA
2006
ACM
16 years 2 days ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
173
click to vote
ACL
2012
13 years 8 months ago
2012
SMT has been used in paraphrase generation by translating a source sentence into another (pivot) language and then back into the source. The resulting sentences can be used as can...