default search action
Jeremy S. Bradbury
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c31]Nadia L. Goralski, Jeremy S. Bradbury:
Adapting Between Parsons Problems and Coding Tasks. SIGCSE (2) 2023: 1289 - [c30]Stacey A. Koornneef, Jeremy S. Bradbury, Michael A. Miljanovic:
Run, Llama, Run: A Computational Thinking Game for K-5 Students Designed to Support Equitable Access. SIGCSE (2) 2023: 1395 - [p1]Michael A. Miljanovic, Jeremy S. Bradbury:
Engineering Adaptive Serious Games Using Machine Learning. Software Engineering for Games in Serious Contexts 2023: 117-134 - 2022
- [c29]Stacey A. Koornneef, Jeremy S. Bradbury, Michael A. Miljanovic:
Run, Llama, Run: A Collaborative Physical and Online Coding Game for Children. SIGCSE (2) 2022: 1177 - 2020
- [c28]Jude Arokiam, Jeremy S. Bradbury:
Automatically predicting bug severity early in the development process. ICSE (NIER) 2020: 17-20 - [c27]Michael A. Miljanovic, Jeremy S. Bradbury:
GidgetML: an adaptive serious game for enhancing first year programming labs. ICSE (SEET) 2020: 184-192 - [c26]Jeremy S. Bradbury, Peter M. Kruse, Mehrdad Saadatmand, Holger Schlingloff:
ToCaMS - Workshop on Testing of Configurable and Multi-variant Systems. ICST Workshops 2020: xxvii
2010 – 2019
- 2018
- [c25]Jeeva Paudel, Wael Yehia, Jeremy S. Bradbury:
13th workshop on challenges for parallel computing. CASCON 2018: 371-373 - [c24]Michael A. Miljanovic, Jeremy S. Bradbury:
A Review of Serious Games for Programming. JCSG 2018: 204-216 - [c23]Michael A. Miljanovic, Jeremy S. Bradbury:
Making Serious Programming Games Adaptive. JCSG 2018: 253-259 - 2017
- [c22]Robert Ho, Jeeva Paudel, Jeremy S. Bradbury:
12th workshop on challenges for parallel computing. CASCON 2017: 323 - [c21]Michael A. Miljanovic, Jeremy S. Bradbury:
RoboBUG: A Serious Game for Learning Debugging Techniques. ICER 2017: 93-100 - 2016
- [c20]Robert Ho, Jeremy S. Bradbury, Kit Barton:
11th Workshop on Challenges for Parallel Computing. CASCON 2016: 304-306 - [c19]Michael A. Miljanovic, Jeremy S. Bradbury:
Robot on!: a serious game for improving programming comprehension. GAS@ICSE 2016: 33-36 - 2015
- [c18]Robert Ho, Jeremy S. Bradbury, Kit Barton:
10th workshop on challenges for parallel computing. CASCON 2015: 307-309 - 2014
- [c17]Priya Unnikrishnan, Jeremy S. Bradbury, Kit Barton, Robert Ho:
9th workshop on challenges for parallel computing. CASCON 2014: 295-296 - 2013
- [j3]Lydie du Bousquet, Jeremy S. Bradbury, Gordon Fraser:
Special section on Mutation testing (Mutation 2010). Sci. Comput. Program. 78(4): 343-344 (2013) - [c16]Priya Unnikrishnan, Kit Barton, Jeremy S. Bradbury, Reza Azimi:
8th Workshop on Challenges for Parallel Computing. CASCON 2013: 363-364 - [c15]Jeremy S. Bradbury, David Kelk, Mark Green:
Effectively using search-based software engineering techniques within model checking and its applications. CMSBSE@ICSE 2013: 67-70 - [c14]David Kelk, Kevin Jalbert, Jeremy S. Bradbury:
Automatically Repairing Concurrency Bugs with ARC. MUSEPAT 2013: 73-84 - [c13]John Khalil Jacoub, Ramiro Liscano, Jeremy S. Bradbury, Jared Fisher:
UML Modelling of Design Patterns for Wireless Sensor Networks. SENSORNETS 2013: 89-93 - 2012
- [c12]Kevin Jalbert, Jeremy S. Bradbury:
Predicting mutation score using source code and test suite metrics. RAISE@ICSE 2012: 42-46 - [c11]Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk:
Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools. PADTAD 2012: 25-35 - [e1]Jeremy S. Bradbury, Simone do Rócio Senger de Souza:
Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012. ACM 2012, ISBN 978-1-4503-1456-5 [contents] - 2011
- [j2]Benoit Baudry, Jeremy S. Bradbury, Gordon Fraser:
Guest Editorial for Special Section on Mutation Testing. Inf. Softw. Technol. 53(10): 1097 (2011) - [c10]Ahmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse:
Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. ICST 2011: 269-278 - 2010
- [c9]Kevin Jalbert, Jeremy S. Bradbury:
Using clone detection to identify bugs in concurrent software. ICSM 2010: 1-5 - [c8]Devin Kester, Martin Mwebesa, Jeremy S. Bradbury:
How Good is Static Analysis at Finding Concurrency Bugs? SCAM 2010: 115-124 - [c7]Gowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins:
TIE: an interactive visualization of thread interleavings. SOFTVIS 2010: 215-216
2000 – 2009
- 2007
- [c6]L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel:
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. FMOODS 2007: 44-58 - 2006
- [j1]Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
Using source transformation to test and model check implicit-invocation systems. Sci. Comput. Program. 62(3): 209-227 (2006) - 2005
- [c5]Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
An empirical framework for comparing effectiveness of testing and property-based formal analysis. PASTE 2005: 2-5 - [c4]Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. SCAM 2005: 87-96 - 2004
- [c3]Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel, Michel Wermelinger:
A survey of self-management in dynamic software architecture specifications. WOSS 2004: 28-33 - 2003
- [c2]Jeremy S. Bradbury, Jeffrey S. Shell, Craig B. Knowles:
Hands on cooking: towards an attentive kitchen. CHI Extended Abstracts 2003: 996-997 - [c1]Jeremy S. Bradbury, Jürgen Dingel:
Evaluating and improving the automatic analysis of implicit invocation systems. ESEC / SIGSOFT FSE 2003: 78-87
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint