3090 search results - page 168 / 618 » On Testing Answer-Set Programs |
154
Voted
ESA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A level graph is a directed acyclic graph with a level assignment for each node. Such graphs play a prominent role in graph drawing. They express strict dependencies and ...
123
click to vote
NIPS
2007
15 years 6 months ago
2007
Most models of decision-making in neuroscience assume an infinite horizon, which yields an optimal solution that integrates evidence up to a fixed decision threshold; however, u...
119
click to vote
TAP
2010
Springer
15 years 2 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
156
click to vote
AICCSA
2001
IEEE
15 years 8 months ago
2001
IEEE
Debugging and testing is a larger part of the effort spent in a software development cycle. Debugging a program is time consuming and is a continuous cycle of code modification an...
142
click to vote
SCAM
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an optimisation technique which automatically inlines certain classes within their enclosing class. Inlining a class involves inserting the fields and methods ...