Sciweavers

759 search results - page 60 / 152
» Test case generator for GUITAR
Sort
View
COMCOM
2000
130views more  COMCOM 2000»
15 years 15 days ago
Use Case Maps and LOTOS for the prototyping and validation of a mobile group call system
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
Daniel Amyot, Luigi Logrippo
96
Voted
GECCO
2007
Springer
183views Optimization» more  GECCO 2007»
15 years 6 months ago
Search-based testing of service level agreements
The diffusion of service oriented architectures introduces the need for novel testing approaches. On the one side, testing must be able to identify failures in the functionality ...
Massimiliano Di Penta, Gerardo Canfora, Gianpiero ...
97
Voted
FASE
2005
Springer
15 years 6 months ago
Automatic Conformance Testing of Web Services
Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition. Dedicated discovery services will store bot...
Reiko Heckel, Leonardo Mariani
IWPC
1999
IEEE
15 years 5 months ago
Recovery of Jump Table Case Statements from Binary Code
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
Cristina Cifuentes, Mike Van Emmerik
INFSOF
2000
110views more  INFSOF 2000»
15 years 14 days ago
Partition testing with usage models
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...
Kirk Sayre, Jesse H. Poore