3090 search results - page 140 / 618 » On Testing Answer-Set Programs |
100
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Structural testing techniques, such as statement and branch coverage, play an important role in improving dependability of software systems. However, finding a set of tests which...
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...
117
Voted
ERLANG
2003
ACM
15 years 7 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
131
click to vote
PTS
2010
15 years 23 days ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...