7393 search results - page 1249 / 1479 » Synthesis-for-testability using transformations |
128
click to vote
DOCENG
2007
ACM
15 years 7 months ago
2007
ACM
To enhance the visual effect of a photo, various digital borders or frames are provided for photo decoration at photo sharing websites. Even though multiple versions of the same b...
129
click to vote
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present Shekoosh, a novel framework for constraint-based generation of structurally complex inputs of large sizes. Given a Java predicate that represents the desired s...
135
click to vote
ER
2007
Springer
15 years 7 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
130
click to vote
IEEESCC
2010
IEEE
15 years 7 months ago
2010
IEEE
—There is a global consensus on the need to reduce our collective carbon footprint. While much research attention has focused on developing alternative energy sources, automotive...
133
click to vote
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...