2774 search results - page 144 / 555 » Query-Driven Program Testing |
111
Voted
IJCAI
1993
15 years 3 months ago
1993
Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP, ...
136
click to vote
AIEDAM
2008
15 years 2 months ago
2008
We demonstrate the use of genetic programming in the automatic invention of quantum computing circuits that solve problems of potential theoretical and practical significance. We ...
108
click to vote
TSE
2002
15 years 1 months ago
2002
Measurement programs in software organizations are an important source of control over quality and cost in software development. The findings of this research presented here are ba...
120
click to vote
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
85
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...