2026 search results - page 227 / 406 » Tools for Test Case Generation |
163
click to vote
ECOOPW
1999
Springer
15 years 9 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
122
click to vote
IADIS
2003
15 years 6 months ago
2003
The Portuguese construction industry is, in an attempt to keep up with market demands, striving to maintain its competitiveness. The communication practices and policies throughou...
124
Voted
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
ACT Maps are vital tools for most government agencies and consumers. However, their manual generation and updating is tedious and time consuming. As a step toward automatic map gen...
165
click to vote
ICSE
2010
IEEE-ACM
15 years 3 months ago
2010
IEEE-ACM
SOABench is a framework for the automatic generation, execution and analysis of testbeds for evaluating the performance of service-oriented middleware. Testbeds can be characteriz...
146
click to vote
CPP
2011
14 years 5 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...