751 search results - page 39 / 151 » Consistency techniques for interprocedural test data generat... |
109
click to vote
FMICS
2008
Springer
15 years 20 days ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
FASE
2006
Springer
15 years 2 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
NCA
2002
IEEE
14 years 10 months ago
2002
IEEE
One of the key problems in forming a smooth model from input-output data is the determination of which input variables are relevant in predicting a given output. In this paper we ...
IJCAI
2007
15 years 16 days ago
2007
Traditional classification involves building a classifier using labeled training examples from a set of predefined classes and then applying the classifier to classify test instan...
129
click to vote
ICAI
2004
15 years 15 days ago
2004
This paper centers on the discussion of k-medoid-style clustering algorithms for supervised summary generation. This task requires clustering techniques that identify class-unifor...