Sciweavers

2006 search results - page 21 / 402
» Testing with Respect to Concerns
Sort
View
ACL
2003
13 years 9 months ago
A Word-Order Database for Testing Computational Models of Language Acquisition
An investment of effort over the last two years has begun to produce a wealth of data concerning computational psycholinguistic models of syntax acquisition. The data is generated...
William Gregory Sakas
ACISICIS
2009
IEEE
14 years 8 days ago
A Systematic Framework for Grammar Testing
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...
Lixiao Zheng, Haiming Chen
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
13 years 11 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
ICDE
2004
IEEE
115views Database» more  ICDE 2004»
14 years 9 months ago
XBench Benchmark and Performance Testing of XML DBMSs
XML support is being added to existing database management systems (DBMSs) and native XML systems are being developed both in industry and in academia. The individual performance ...
Benjamin Bin Yao, M. Tamer Özsu, Nitin Khande...
IEEEIAS
2007
IEEE
14 years 1 months ago
Team Edit Automata for Testing Security Property
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
Zhenrong Yang, Aiman Hanna, Mourad Debbabi