1246 search results - page 23 / 250 » Online testing with model programs |
CP
2007
Springer
13 years 11 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
ICSE
2011
IEEE-ACM
12 years 11 months ago
2011
IEEE-ACM
Parallel programs are difficult to write, test, and debug. This thesis explores how programmers build mental models about parallel programs, and demonstrates, through user evaluat...
QSIC
2008
IEEE
14 years 2 months ago
2008
IEEE
Fault localization is a major activity in software debugging. Many existing statistical fault localization techniques compare feature spectra of successful and failed runs. Some a...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
In the symbol recognition stage of online handwritten math expression recognition, the one-pass dynamic programming algorithm can produce high-quality symbol graphs in addition of...