280 search results - page 23 / 56 » Generating Regression Tests via Model Checking |
194
click to vote
SEW
2006
IEEE
16 years 23 days ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
170
click to vote
FORTE
2004
15 years 8 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
196
Voted
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
175
Voted
FM
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
190
Voted
KES
2004
Springer
16 years 4 days ago
2004
Springer
There is now a huge amount of high quality photometric data available in the literature whose analysis is bound to play a fundamental role in studies of the formation and evolution...