7167 search results - page 284 / 1434 » A Technique for Invariant Generation |
224
Voted
HICSS
2007
IEEE
2007
IEEE
Fine-Tuning the Human-Computer Interface: Verbal versus Keyboard Input in an Idea Generation Context
16 years 1 months ago
Voice recognition technologies are rapidly evolving to help humans interact with computers more efficiently and effectively. Despite their potential advantages, their impact on sy...
204
click to vote
TACAS
2005
Springer
16 years 27 days ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
308
click to vote
ISSTA
2004
ACM
16 years 26 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
195
Voted
ICTAC
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
247
Voted
AH
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Critiquing techniques provide an easy way for users to feedback their preferences over one or several attributes of the products in a conversational recommender system. W...