1926 search results - page 139 / 386 » Modeling and Model Checking Software Product Lines |
274
click to vote
ISSTA
2004
ACM
15 years 11 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 ...
182
click to vote
ESEC
1999
Springer
15 years 10 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
158
click to vote
ACSD
2005
IEEE
16 years 6 hour ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
140
click to vote
IRI
2007
IEEE
16 years 20 days ago
2007
IEEE
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
167
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...