76 search results - page 5 / 16 » Executable Grammars in Newspeak |
CICLING
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
Hybrid systems such as those that combine 3D virtual worlds and organization based multiagent systems add new visual and communication features for multi-user applications. The des...
KBSE
2007
IEEE
14 years 1 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...
ATVA
2010
Springer
13 years 5 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...