3090 search results - page 138 / 618 » On Testing Answer-Set Programs |
129
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
107
click to vote
GECCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. A method of automatic programming, called genetic programming, assumes that the desired program is found by using a genetic algorithm. We propose an idea of ant colony pr...
121
click to vote
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
Crisp is a tool (i.e., an Eclipse plug-in) for constructing intermediate versions of a Java program that is being edited in an IDE such as Eclipse. After a long editing session, a...
122
Voted
CP
2007
Springer
15 years 6 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
137
Voted
PROPOR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...