112 search results - page 12 / 23 » Testing Software Product Lines Using Incremental Test Genera... |
111
click to vote
VAMOS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--For two decades, feature diagrams have been intensively studied as a means to specify variability and pilot configuration in software product line engineering. Surprising...
106
Voted
CAV
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
CHI
2004
ACM
16 years 18 hour ago
2004
ACM
This poster describes an integrated set of stories and story-based activities that we have used in product development in IBM Software Group's Lotus product organizations. We...
87
Voted
EOR
2006
14 years 11 months ago
2006
Balancing assembly lines is a crucial task for manufacturing companies in order to improve productivity and minimize production costs. Despite some progress in exact methods to so...
113
Voted
FMICS
2008
Springer
15 years 1 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...