Sciweavers

589 search results - page 17 / 118
» Automated test generation for engineering applications
Sort
View
ISORC
2005
IEEE
14 years 1 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
KBSE
2002
IEEE
14 years 16 days ago
Report on the Workshop on the State of the Art in Automated Software Engineering
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
Yves Ledru, David F. Redmiles
COMPSAC
2008
IEEE
13 years 7 months ago
Automated Code Generation for Industrial-Strength Systems
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
Thomas Weigert, Frank Weil, Aswin van den Berg, Pa...
GI
2007
Springer
14 years 1 months ago
Automated Test Case Selection Based on a Similarity Function
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
Emanuela G. Cartaxo, Francisco G. Oliveira Neto, P...
COMPSAC
2003
IEEE
14 years 27 days ago
Automated Metamorphic Testing
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
Arnaud Gotlieb, Bernard Botella