3090 search results - page 119 / 618 » On Testing Answer-Set Programs |
122
click to vote
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Refactoring is not only useful for source code of implementations, but as well for test specifications. The open source TRex tool automates the application of refactorings and the ...
106
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
VLSID
2007
IEEE
16 years 2 months ago
2007
IEEE
? We give a new recursive rounding linear programming (LP) solution to the problem of N-detect test minimzation. This is a polynomialtime solution that closely approximates the exa...
108
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
105
click to vote
EUSFLAT
2007
15 years 3 months ago
2007
This paper concerns problem of selection of optimal subset of irredundant unconditional diagnostic tests by means of evolutionary approach. The method of correction of features’...