Sciweavers

9412 search results - page 128 / 1883
» An aspect-oriented generative approach
Sort
View
XPU
2004
Springer
15 years 11 months ago
Generative Acceptance Testing for Difficult-to-Test Software
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
Jennitta Andrea
FATES
2003
Springer
15 years 11 months ago
Property Oriented Test Case Generation
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
Jean-Claude Fernandez, Laurent Mounier, Cyril Pach...
ASPDAC
2009
ACM
249views Hardware» more  ASPDAC 2009»
15 years 11 months ago
Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
Chen Kang Lo, Ren-Song Tsay
NLDB
2000
Springer
15 years 10 months ago
Using Information Extraction and Natural Language Generation to Answer E-Mail
This paper discusses the use of information extraction and natural language generation in the design of an automated e-mail answering system. We analyse short free-form texts and ...
Leila Kosseim, Stéphane Beauregard, Guy Lap...
WSC
2007
15 years 8 months ago
Automatic generation of simulation models for semiconductor manufacturing
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
Ralph Mueller, Christos Alexopoulos, Leon F. McGin...