Papers by Jeremy Bradbury
Science of Computer Programming, 2006
In this paper we present a source transformation-based framework to support uni- form testing and... more In this paper we present a source transformation-based framework to support uni- form testing and model checking of implicit-invocation software systems. The frame- work includes a new domain-specific programming language, the Implicit-Invocation Language (IIL), explicitly designed for directly expressing implicit-invocation soft- ware systems, and a set of formal rule-based source transformation tools that al- low automatic generation of both executable
Proc. of the 2nd International Symposium on Search Based Software Engineering (SSBSE 2010) - Fast Abstracts, Sep 2010
... Jeremy S. Bradbury, Kevin Jalbert Software Quality Research Group Faculty of Science (Compute... more ... Jeremy S. Bradbury, Kevin Jalbert Software Quality Research Group Faculty of Science (Computer Science) University of Ontario Institute of Technology Oshawa, Ontario, [email protected], [email protected] ...
Second Workshop on …, Jan 1, 2006
Testing: Academic and …, Jan 1, 2007
Second Workshop on …, Jan 1, 2006
Proc. of the 6th Int. ACM SIGPLAN-SIGSOFT Work. on Program Analysis for Software Tools and Engineering (PASTE 2005), Sep 2005
Proc. of the 1st ACM SIGSOFT Workshop on Self-Managed Systems (WOSS'04), Oct 2004
Proc. of the International Workshop on Distributed Event-Based Systems (DEBS'04), May 2004
In Proc. of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), Sep 2003
Video Proceedings of …, Jan 1, 2003
CHI'03 extended abstracts on …, Jan 1, 2003
Uploads
Papers by Jeremy Bradbury