1961 search results - page 112 / 393 » PicoDBMS: Validation and Experience |
89
Voted
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Web applications have become critical components of the global information infrastructure, and it is important that they be validated to ensure their reliability. Therefore, many ...
BROADNETS
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...
106
click to vote
APSEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
APGV
2005
ACM
15 years 4 months ago
2005
ACM
How different are two images when viewed by a human observer? Such knowledge is needed in many situations including when one has to judge the degree to which a graphics representa...