1926 search results - page 72 / 386 » Modeling and Model Checking Software Product Lines |
139
click to vote
PEPM
2009
ACM
16 years 2 months ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
195
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
173
click to vote
RE
2002
Springer
15 years 5 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
157
click to vote
CAISE
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. One of the most significant paradigm shifts of software business management is that individual organizations no longer compete as single entities but as complex dynamic ...
155
click to vote
SNPD
2008
15 years 7 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...