Jeremy S. Bradbury Papers on DiSC'04 A Transformational Framework for Testing and Model Checking Implicit-Invocation Systems Publications Note: Links lead to the DBLP on the Web. Jeremy S. Bradbury Jeremy S. Bradbury, Jeffrey S. Shell , Craig B. Knowles : Hands on cooking: towards an attentive kitchen. CHI Extended Abstracts 2003 : 996-997 Jeremy S. Bradbury, Jürgen Dingel : Evaluating and improving the automatic analysis of implicit invocation systems. ESEC / SIGSOFT FSE 2003 : 78-87 1 [ 1 ] 2 [ 2 ] 3 [ 2 ] ©2005 Association for Computing Machinery