Sciweavers

780 search results - page 52 / 156
» Case Study: Model Transformations for Time-triggered Languag...
Sort
View
ISSRE
2003
IEEE
14 years 1 months ago
Requirements by Contracts allow Automated System Testing
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
Clémentine Nebut, Franck Fleurey, Yves Le T...
CORR
2007
Springer
100views Education» more  CORR 2007»
13 years 7 months ago
Finite Volume Analysis of Nonlinear Thermo-mechanical Dynamics of Shape Memory Alloys
In this paper, the finite volume method is developed to analyze coupled dynamic problems of nonlinear thermoelasticity. The major focus is given to the description of martensitic ...
Linxiang X. Wang, Roderick V. N. Melnik
ICWE
2005
Springer
14 years 1 months 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...
ESE
2006
154views Database» more  ESE 2006»
13 years 7 months ago
Prioritizing JUnit Test Cases: An Empirical Assessment and Cost-Benefits Analysis
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...
Hyunsook Do, Gregg Rothermel, Alex Kinneer
BMCBI
2004
120views more  BMCBI 2004»
13 years 7 months ago
Clustering under the line graph transformation: application to reaction network
Background: Many real networks can be understood as two complementary networks with two kind of nodes. This is the case of metabolic networks where the first network has chemical ...
Jose C. Nacher, Nobuhisa Ueda, Takuji Yamada, Mino...