2774 search results - page 84 / 555 » Query-Driven Program Testing |
ICSM
2005
IEEE
14 years 3 months ago
2005
IEEE
Crisp is a tool (i.e., an Eclipse plug-in) for constructing intermediate versions of a Java program that is being edited in an IDE such as Eclipse. After a long editing session, a...
CP
2007
Springer
14 years 2 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...
PROPOR
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...
CSCW
2010
ACM
14 years 7 months ago
2010
ACM
API usability tests in the lab are time and resource intensive, thus allowing a relatively small percentage of the API namespace to be evaluated. We describe a group-based usabili...
QSIC
2008
IEEE
14 years 4 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...