Jeremy Bradbury, Ph.D.
Assistant Professor, University of Ontario Institute of TechnologyOshawa, Canada
Research field: Computer and Information Science - Software Engineering
empirical software engineering, software quality assurance, model checking, testing concurrent systems, mutation analysis, and the combined uses of formal analysis and testing.
Publications
-
Conference Proceedings (16)
-
Jeremy S Bradbury, Kevin Jalbert (2010) Automatic Repair of Concurrency Bugs. In Proc. of the 2nd International Symposium on Search Based Software Engineering (SSBSE 2010) - Fast Abstacts.Download PDF (212.26 KB)
-
Devin Kester, Martin Mwebesa, Jeremy S Bradbury (2010) How Good is Static Analysis at Finding Concurrency Bugs?. In Proc. of the 10th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2010).Download PDF (436.26 KB)
-
Gowritharan Maheswara, Jeremy S Bradbury, Christopher Collins (2010) TIE: An Interactive Visualization of Thread Interleavings. In Proc. of the 5th ACM Symposium on Software Visualization (SoftVis'10).Download PDF (626.82 KB)
-
Kevin Jalbert, Jeremy S. Bradbury (2010) Using Clone Detection to Localize Testing Effort in Concurrent Software, 5. In Proc. of 26th IEEE International Conference on Software Maintenance (ICSM 2010).Download PDF (237.25 KB)
-
Jeremy S Bradbury, Kevin Jalbert (2009) Defining a Catalog of Programming Anti-Patterns for Concurrent Java, 6-11. In Proc. of the 3rd International Workshop on Software Patterns and Quality (SPAQu'09).Download PDF (301.59 KB)
-
Jeremy S Bradbury, James R Cordy, Juergen Dingel (2007) Comparative Assessment of Testing and Model Checking Using Program Mutation, 210-219. In Proc. of the 3rd Workshop on Mutation Analysis (Mutation 2007).Download PDF (300.57 KB)
-
L Ruhai Cai, Jeremy S Bradbury, Juergen Dingel (2007) Verifying Distributed, Event-Based Middleware Applications using Domain-Specific Software Model Checking, 44-58. In Proc. of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), Springer Verlag. Lecture Notes in Computer Science 4468.Download PDF (289.3 KB)
-
Jeremy S Bradbury, James R Cordy, Juergen Dingel (2006) Mutation Operators for Concurrent {Java} ({J2SE 5.0}), 83-92. In Proc. of the 2nd Workshop on Mutation Analysis (Mutation 2006).Download PDF (191.83 KB)
-
Jeremy S Bradbury (2006) Using Mutation for the Assessment and Optimization of Tests and Properties. In Doctoral Symposium being held in conjunction with the International Symposium on Software Testing and Analysis (ISSTA 2006).Download PDF (248.13 KB)
-
Jeremy S Bradbury, James R Cordy, Juergen Dingel (2005) An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis, 2-5. In Proc. of the 6th Int. ACM SIGPLAN-SIGSOFT Work. on Program Analysis for Software Tools and Engineering (PASTE 2005).Download PDF (120.32 KB)
- See all
-
-
Generic (4)
-
Kevin Jalbert, Jeremy S Bradbury (2009) Using Bug Patterns in the Regression Testing of Concurrent Software.Download PDF (808.49 KB)
-
Jeremy S Bradbury, James R Cordy, Juergen Dingel (2006) Bugs and Concurrency: A Quantitative Assessment of Bug Detection Tools.Download PDF (1.06 MB)
-
Jeremy S Bradbury, James R Cordy, Juergen Dingel (2006) {ExMAn}: A Generic and Customizable Framework for Experimental Mutation Analysis..Download PDF (643.02 KB)
-
Jeremy S Bradbury (2004) Organizing Definitions and Formalisms for Dynamic Software Architectures..Download PDF (714.11 KB)
-
-
Journal Article (1)
-
Hongyu Zhang, Jeremy S Bradbury, James R Cordy et al. (2006) Using Source Transformation to Test and Model Check Implicit-Invocation Systems, 209-227. In Special Issue on Source Code Analysis and Manipulation, Science of Computer Programming 62 (3).Download PDF (430.99 KB)
-
-
Thesis (2)
-
Jeremy S Bradbury (2007) Using Program Mutation for the Empirical Assessment of Fault Detection Techniques: A Comparison of Concurrency Testing and Model Checking, 151.Download PDF (1.32 MB)
-
Jeremy S Bradbury (2002) Model Checking Implicit-Invocation Systems: An Approach to the Automatic Analysis of Architectural Styles, 193.Download PDF (788.09 KB)
-
Biographical Information
I'm an assistant professor in the Faculty of Science (Computer Science) at the University of Ontario Institute of Technology (UOIT). At UOIT I have started the Software Quality Research Group which is part of the Software, Vision and Information Laboratory.
Contact Information
| Webpage: | www.jeremybradbury.ca |
Publication Statistics
Graphed by cumulative total
Graphed by month
Graphed by day
Graphed by day
Data temporarily unavailable.
Not enough data available.
Public Groups
Public groups Jeremy is a member of
Public groups Jeremy is following
- Not following any groups yet.
- Find new public groups.
Destinations
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more