1809 search results - page 95 / 362 » Software Model Checking Using Linear Constraints |
137
Voted
ICWE
2005
Springer
15 years 10 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...
242
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
148
Voted
RE
2008
Springer
15 years 4 months ago
2008
Springer
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
130
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
128
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...