3090 search results - page 162 / 618 » On Testing Answer-Set Programs |
138
click to vote
COR
2008
15 years 5 months ago
2008
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automat...
160
click to vote
UTP
2010
15 years 2 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
129
click to vote
HASE
2007
IEEE
15 years 11 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
138
Voted
FORTE
2008
15 years 6 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
129
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Despite extensive testing in the development phase, residual defects can be a great threat to dependability in the operational phase. This paper studies the utility of lowcost, ge...