1809 search results - page 222 / 362 » Software Model Checking Using Linear Constraints |
FOAL
2009
ACM
15 years 8 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
113
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
116
click to vote
GMP
2006
IEEE
15 years 8 months ago
2006
IEEE
Interactive mesh editing techniques that preserve discrete differential properties are promising to support the design of mechanical parts such as automobile sheet metal panels. H...
141
click to vote
SIAMAM
2000
15 years 2 months ago
2000
Effects of small perturbations from a liquid-gas coexistence equilibrium (the Maxwell states) is studied for an isothermal (or isentropic) gas-liquid phase transition in a sealed o...
105
Voted
SAS
2007
Springer
15 years 8 months ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...