366 search results - page 9 / 74 » Syntactic Abstraction of B Models to Generate Tests |
FATES
2003
Springer
14 years 29 days ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
JSS
2008
13 years 7 months ago
2008
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at evels of abstraction. In this paper the appl...
ICAIL
1995
ACM
13 years 11 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
DEXA
2001
Springer
14 years 7 days ago
2001
Springer
Abstract. In this paper we study the performance of linguisticallymotivated conflation techniques for Information Retrieval in Spanish. In particular, we have studied the applicat...
DAC
1997
ACM
13 years 12 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...