492 search results - page 28 / 99 » Automating software feature verification |
SEW
2003
IEEE
14 years 1 days ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
AVI
2008
13 years 9 months ago
2008
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
GPCE
2007
Springer
14 years 28 days ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
POPL
2010
ACM
14 years 4 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
EUROSYS
2010
ACM
13 years 11 months ago
2010
ACM
When a performance crisis occurs in a datacenter, rapid recovery requires quickly recognizing whether a similar incident occurred before, in which case a known remedy may apply, o...