11 search results - page 1 / 3 » Partial Verification of Software Components: Heuristics for ... |
101
Voted
EUROMICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
84
Voted
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
Reuse is one of the key benefits of components. It inherently means that the functionality of a component may be employed only partially. This triggers the issue whether all of th...
110
Voted
IEE
2010
14 years 11 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
121
click to vote
ICSE
2003
IEEE-ACM
16 years 15 days ago
2003
IEEE-ACM
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...