2774 search results - page 196 / 555 » Query-Driven Program Testing |
124
click to vote
COMPUTER
2008
15 years 3 months ago
2008
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...
126
Voted
ASE
2006
15 years 3 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
127
Voted
TSE
2008
15 years 3 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
157
click to vote
JAIR
2010
15 years 1 months ago
2010
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
140
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Providing instructions via handheld prompters holds much promise for supporting independence for persons with cognitive disabilities. Because users of these tools are paired ? car...