3090 search results - page 175 / 618 » On Testing Answer-Set Programs |
138
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
99
Voted
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
- This paper presents program pulse characterization in an 8-Mb BJT-selected Phase-Change Memory test chip. Experimental results of the impact of the bit-line resistance over progr...
136
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Multi Expression Programming (MEP) is a Genetic Programming variant that uses linear chromosomes for solution encoding. A unique feature of MEP is its ability of encoding...
160
Voted
EUROGP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In recent years different genetic programming (GP) structures have emerged. Today, the basic forms of representation for genetic programs are tree, linear and graph stru...
165
click to vote
ACMSE
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...