3736 search results - page 226 / 748 » Generative Programming |
102
Voted
ATS
2003
IEEE
15 years 8 months ago
2003
IEEE
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
111
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
76
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
The paper describes a library supporting effective programming and design of matrix algorithms and programs. The important feature of proposed library is the visual algorithm repr...
113
click to vote
ISSRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
125
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...