3090 search results - page 108 / 618 » On Testing Answer-Set Programs |
114
Voted
INFSOF
2000
15 years 2 months ago
2000
Cleanroom usage-based statistical testing techniques have been incorporated into the software development process for a program in the Electronic Systems business of Raytheon Comp...
137
Voted
ITC
1996
IEEE
15 years 6 months ago
1996
IEEE
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...
137
Voted
SPIN
2010
Springer
15 years 17 days ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
APLAS
2003
ACM
15 years 7 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
92
Voted
ESEC
1991
Springer
15 years 5 months ago
1991
Springer
This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...