1926 search results - page 133 / 386 » Modeling and Model Checking Software Product Lines |
148
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
176
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
188
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
126
click to vote
HASE
2007
IEEE
16 years 21 days ago
2007
IEEE
—Modeling to predict faultproneness of software modules is an important area of research in software engineering. Most such models employ a large number ...
164
click to vote
CANDC
2007
ACM
15 years 10 months ago
2007
ACM
The increasing prevalence of user-led content production especially in online environments from the Wikipedia to open news publications and open source software development communi...