Sciweavers

7103 search results - page 90 / 1421
» Components and Generative Programming
Sort
View
101
Voted
TSE
1998
55views more  TSE 1998»
15 years 1 months ago
Using Test Oracles Generated from Program Documentation
Dennis K. Peters, David Lorge Parnas
79
Voted
MP
2010
66views more  MP 2010»
15 years 19 days ago
Generating and measuring instances of hard semidefinite programs
Hua Wei, Henry Wolkowicz
87
Voted
SQJ
2010
75views more  SQJ 2010»
15 years 17 days ago
Using program data-state scarcity to guide automatic test data generation
Mohammad Alshraideh, Leonardo Bottaci, Basel A. Ma...
113
Voted
KBSE
2007
IEEE
15 years 8 months ago
Finding errors in components that exchange xml data
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...
Mark Grechanik
124
Voted
IEE
2010
136views more  IEE 2010»
15 years 21 days ago
Assume-guarantee verification of software components in SOFA 2 framework
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 ...
Pavel Parizek, Frantisek Plasil