219 search results - page 33 / 44 » Assume-Guarantee Model Checking of Software: A Comparative C... |
IEE
2002
14 years 9 months ago
2002
: Software practitioners recognise the importance of realistic estimates of effort for the successful management of software projects, the Web being no exception. Estimates are nec...
ICSM
2007
IEEE
15 years 4 months ago
2007
IEEE
Recent software systems usually feature an automated failure reporting component, with which a huge number of failures are collected from software end-users. With a proper support...
89
Voted
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
In this paper a new architecture for a variety of data mining tasks is introduced. The Device-Based Software Architecture (DBSA) is a highly portable and generic data mining softw...