3090 search results - page 210 / 618 » On Testing Answer-Set Programs |
171
Voted
ISSRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Database-centric applications (DCAs) are common in enterprise computing, and they use nontrivial databases. Testing of DCAs is increasingly outsourced to test centers in order t...
187
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
183
click to vote
FORTE
2003
15 years 7 months ago
2003
Abstract. In this paper, we propose a testing method for QoS functions in distributed multi-media systems, where we test whether playback of media objects is correctly implemented ...
172
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
This paper reports on the implication of different preferred learning styles on students'performance in the introductory programming sequence and on work in progress on how t...
215
click to vote
KDD
2003
ACM
16 years 6 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...