1492 search results - page 200 / 299 » Automatic Software Model Checking Using CLP |
IUI
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we present CoTester, a system designed to decrease the difficulty of testing web applications. CoTester allows testers to create test scripts that are represented ...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...
118
click to vote
TASLP
2010
14 years 4 months ago
2010
Abstract--This paper presents a model for machine aided human translation (MAHT) that integrates source language text and target language acoustic information to produce the text t...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
LCTRTS
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...