872 search results - page 31 / 175 » UML-based design test generation |
149
Voted
CORR
2007
Springer
15 years 1 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
118
click to vote
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...
101
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Modern applications for mobile computing require high performance architectures. On the other hand, there are restrictions such as storage or power consumption. The use of reconï¬...
133
Voted
SPIN
2010
Springer
15 years 8 days ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
125
Voted
AWCC
2004
Springer
15 years 7 months ago
2004
Springer
This paper proposes progressive group testing techniques to test large number of Web services (WS) available on Internet. At the unit testing level, the WS with the same functional...