Sciweavers

8398 search results - page 330 / 1680
» Optimal Software Testing
Sort
View
VL
2005
IEEE
142views Visual Languages» more  VL 2005»
16 years 9 days ago
JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
Cesare Pautasso
ICWE
2005
Springer
16 years 7 days ago
Towards Model-Driven Testing of a Web Application Generator
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
Luciano Baresi, Piero Fraternali, Massimo Tisi, Sa...
GG
2004
Springer
16 years 3 days ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...
METRICS
2003
IEEE
15 years 12 months ago
When Can We Test Less?
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...
Tim Menzies, Justin S. Di Stefano, Kareem Ammar, K...
PTS
1993
91views Hardware» more  PTS 1993»
15 years 8 months ago
Generating Tests for Control Portion of SDL Specifications
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
Gang Luo, Anindya Das, Gregor von Bochmann