search

drvinceknight / TestingPaper

Other
4 stars 0 forks source link

Software to reference #1

Open drvinceknight opened 8 years ago

drvinceknight commented 8 years ago

For property based testing

JamesHDavenport commented 8 years ago

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1

drvinceknight commented 8 years ago

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

JamesHDavenport commented 8 years ago

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

JamesHDavenport commented 8 years ago

Hi.

Obviously we’ll fail to complete anything worthwhile by 22nd June. Let’s withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let’s not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com Cc: Comment comment@noreply.github.com, James Hetherington j.hetherington@ucl.ac.uk, James Davenport J.H.Davenport@bath.ac.uk Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

JamesHDavenport commented 8 years ago

I fear that's realistic. Do you still want to meet on Thursday?

Sent from my iPhone

On 13 Jun 2016, at 11:34, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote:

Hi.

Obviously we'll fail to complete anything worthwhile by 22nd June. Let's withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let's not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com> Cc: Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I'm not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I'm in Cardiff (examining in CS) on Friday - might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

JamesHDavenport commented 8 years ago

Yes. What time?

From: James Davenport J.H.Davenport@bath.ac.uk Date: Monday, 13 June 2016 at 11:38 To: James Hetherington j.hetherington@ucl.ac.uk Cc: James Davenport J.H.Davenport@bath.ac.uk, drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com, Comment comment@noreply.github.com Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

I fear that's realistic. Do you still want to meet on Thursday?

Sent from my iPhone

On 13 Jun 2016, at 11:34, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Hi.

Obviously we’ll fail to complete anything worthwhile by 22nd June. Let’s withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let’s not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com> Cc: Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

JamesHDavenport commented 8 years ago

I come free at 16:00.

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:40 To: James Davenport J.H.Davenport@bath.ac.uk Cc: drvinceknight/TestingPaper reply@reply.github.com; drvinceknight/TestingPaper TestingPaper@noreply.github.com; Comment comment@noreply.github.com Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Yes. What time?

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:38 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk>, drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

I fear that's realistic. Do you still want to meet on Thursday?

Sent from my iPhone

On 13 Jun 2016, at 11:34, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Hi.

Obviously we’ll fail to complete anything worthwhile by 22nd June. Let’s withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let’s not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com> Cc: Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

JamesHDavenport commented 8 years ago

Ah. I only have 1600-1630 free after that. (Call with US at 1630)

From: James Davenport J.H.Davenport@bath.ac.uk Date: Monday, 13 June 2016 at 11:40 To: James Hetherington j.hetherington@ucl.ac.uk Cc: drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com, Comment comment@noreply.github.com Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I come free at 16:00.

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:40 To: James Davenport J.H.Davenport@bath.ac.uk Cc: drvinceknight/TestingPaper reply@reply.github.com; drvinceknight/TestingPaper TestingPaper@noreply.github.com; Comment comment@noreply.github.com Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Yes. What time?

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:38 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk>, drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

I fear that's realistic. Do you still want to meet on Thursday?

Sent from my iPhone

On 13 Jun 2016, at 11:34, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Hi.

Obviously we’ll fail to complete anything worthwhile by 22nd June. Let’s withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let’s not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com> Cc: Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

JamesHDavenport commented 8 years ago

I’m quite near UCL, so let’s at least grab that half hour. Where’s your office? James

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:42 To: James Davenport J.H.Davenport@bath.ac.uk Cc: drvinceknight/TestingPaper reply@reply.github.com; drvinceknight/TestingPaper TestingPaper@noreply.github.com; Comment comment@noreply.github.com Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Ah. I only have 1600-1630 free after that. (Call with US at 1630)

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:40 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I come free at 16:00.

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:40 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Yes. What time?

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:38 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk>, drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

I fear that's realistic. Do you still want to meet on Thursday?

Sent from my iPhone

On 13 Jun 2016, at 11:34, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Hi.

Obviously we’ll fail to complete anything worthwhile by 22nd June. Let’s withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let’s not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com> Cc: Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

owlas commented 8 years ago

Glad to see that this is picking up again!

owlas commented 8 years ago

Agreed that we were quite enthusiastic.

JamesHDavenport commented 8 years ago

Euston Station - Podium Building – the building elevated on stilts on the concourse.

From: James Davenport J.H.Davenport@bath.ac.uk Date: Monday, 13 June 2016 at 11:43 To: James Hetherington j.hetherington@ucl.ac.uk Cc: drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com, Comment comment@noreply.github.com, James Davenport J.H.Davenport@bath.ac.uk Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m quite near UCL, so let’s at least grab that half hour. Where’s your office? James

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:42 To: James Davenport J.H.Davenport@bath.ac.uk Cc: drvinceknight/TestingPaper reply@reply.github.com; drvinceknight/TestingPaper TestingPaper@noreply.github.com; Comment comment@noreply.github.com Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Ah. I only have 1600-1630 free after that. (Call with US at 1630)

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:40 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I come free at 16:00.

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:40 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Yes. What time?

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:38 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk>, drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

I fear that's realistic. Do you still want to meet on Thursday?

Sent from my iPhone

On 13 Jun 2016, at 11:34, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Hi.

Obviously we’ll fail to complete anything worthwhile by 22nd June. Let’s withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let’s not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com> Cc: Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

JamesHDavenport commented 8 years ago

Wow - I had no idea that was UCL. See you there. James

Sent from my iPhone

On 13 Jun 2016, at 11:50, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote:

Euston Station - Podium Building – the building elevated on stilts on the concourse.

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:43 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m quite near UCL, so let’s at least grab that half hour. Where’s your office? James

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:42 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Ah. I only have 1600-1630 free after that. (Call with US at 1630)

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:40 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I come free at 16:00.

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:40 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Yes. What time?

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:38 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk>, drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

I fear that's realistic. Do you still want to meet on Thursday?

Sent from my iPhone

On 13 Jun 2016, at 11:34, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Hi.

Obviously we’ll fail to complete anything worthwhile by 22nd June. Let’s withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let’s not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com> Cc: Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

JamesHDavenport commented 8 years ago

UCL ran out of space – we rent it.

It’s not easy being a growing university in Bloomsbury!

From: James Davenport J.H.Davenport@bath.ac.uk Date: Monday, 13 June 2016 at 11:53 To: James Hetherington j.hetherington@ucl.ac.uk Cc: James Davenport J.H.Davenport@bath.ac.uk, drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com, Comment comment@noreply.github.com Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Wow - I had no idea that was UCL. See you there. James

Sent from my iPhone

On 13 Jun 2016, at 11:50, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Euston Station - Podium Building – the building elevated on stilts on the concourse.

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:43 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m quite near UCL, so let’s at least grab that half hour. Where’s your office? James

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:42 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Ah. I only have 1600-1630 free after that. (Call with US at 1630)

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:40 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I come free at 16:00.

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:40 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Yes. What time?

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:38 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk>, drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

I fear that's realistic. Do you still want to meet on Thursday?

Sent from my iPhone

On 13 Jun 2016, at 11:34, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Hi.

Obviously we’ll fail to complete anything worthwhile by 22nd June. Let’s withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let’s not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com> Cc: Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

sjlamerton commented 8 years ago

Definitely keen here to pick this back up again.

JamesHDavenport commented 8 years ago

Dammit I’ve now picked up an urgent meeting for that slot I can’t miss. Another time.

From: James Davenport J.H.Davenport@bath.ac.uk Date: Monday, 13 June 2016 at 11:53 To: James Hetherington j.hetherington@ucl.ac.uk Cc: James Davenport J.H.Davenport@bath.ac.uk, drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com, Comment comment@noreply.github.com Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Wow - I had no idea that was UCL. See you there. James

Sent from my iPhone

On 13 Jun 2016, at 11:50, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Euston Station - Podium Building – the building elevated on stilts on the concourse.

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:43 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m quite near UCL, so let’s at least grab that half hour. Where’s your office? James

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:42 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Ah. I only have 1600-1630 free after that. (Call with US at 1630)

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:40 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I come free at 16:00.

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:40 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Yes. What time?

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:38 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk>, drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

I fear that's realistic. Do you still want to meet on Thursday?

Sent from my iPhone

On 13 Jun 2016, at 11:34, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Hi.

Obviously we’ll fail to complete anything worthwhile by 22nd June. Let’s withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let’s not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com> Cc: Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

JamesHDavenport commented 8 years ago

Understood, but I would like to pick this up. Am I right in thinking that Vince’s GitHub hasn’t changed since 26 March? James

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 17:30 To: James Davenport J.H.Davenport@bath.ac.uk Cc: drvinceknight/TestingPaper reply@reply.github.com; drvinceknight/TestingPaper TestingPaper@noreply.github.com; Comment comment@noreply.github.com Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Dammit I’ve now picked up an urgent meeting for that slot I can’t miss. Another time.

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:53 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk>, drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Wow - I had no idea that was UCL. See you there. James

Sent from my iPhone

On 13 Jun 2016, at 11:50, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Euston Station - Podium Building – the building elevated on stilts on the concourse.

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:43 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m quite near UCL, so let’s at least grab that half hour. Where’s your office? James

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:42 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Ah. I only have 1600-1630 free after that. (Call with US at 1630)

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:40 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I come free at 16:00.

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:40 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Yes. What time?

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:38 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk>, drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

I fear that's realistic. Do you still want to meet on Thursday?

Sent from my iPhone

On 13 Jun 2016, at 11:34, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Hi.

Obviously we’ll fail to complete anything worthwhile by 22nd June. Let’s withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let’s not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com> Cc: Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

JamesHDavenport commented 8 years ago

Yes, none of us has done anything since then!

J.

From: James Davenport J.H.Davenport@bath.ac.uk Date: Monday, 13 June 2016 at 18:02 To: James Hetherington j.hetherington@ucl.ac.uk Cc: drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com, Comment comment@noreply.github.com Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

Understood, but I would like to pick this up. Am I right in thinking that Vince’s GitHub hasn’t changed since 26 March? James

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 17:30 To: James Davenport J.H.Davenport@bath.ac.uk Cc: drvinceknight/TestingPaper reply@reply.github.com; drvinceknight/TestingPaper TestingPaper@noreply.github.com; Comment comment@noreply.github.com Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Dammit I’ve now picked up an urgent meeting for that slot I can’t miss. Another time.

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:53 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk>, drvinceknight/TestingPaper reply@reply.github.com, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Wow - I had no idea that was UCL. See you there. James

Sent from my iPhone

On 13 Jun 2016, at 11:50, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Euston Station - Podium Building – the building elevated on stilts on the concourse.

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:43 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m quite near UCL, so let’s at least grab that half hour. Where’s your office? James

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:42 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Ah. I only have 1600-1630 free after that. (Call with US at 1630)

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:40 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I come free at 16:00.

From: Hetherington, James [mailto:j.hetherington@ucl.ac.uk] Sent: 13 June 2016 11:40 To: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Cc: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>; drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>; Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Yes. What time?

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 11:38 To: James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> Cc: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk>, drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com>, Comment comment@noreply.github.com<mailto:comment@noreply.github.com> Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

I fear that's realistic. Do you still want to meet on Thursday?

Sent from my iPhone

On 13 Jun 2016, at 11:34, "Hetherington, James" j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk> wrote: Hi.

Obviously we’ll fail to complete anything worthwhile by 22nd June. Let’s withdraw the abstract.

Ah, how the optimism of exciting conferences withers before the realities of the office.

BUT, let’s not give up altogether!

Dr James Hetherington Head of Research Software Development Research IT Services

And

Honorary Lecturer Department of Computer Science

University College London

Tel: 07946868834 Site: http://bit.ly/ucl-rsd Twitter: @uclrcsoftdev @jamespjh Skype: ucgajhe

From: James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Date: Monday, 13 June 2016 at 09:24 To: drvinceknight/TestingPaper reply@reply.github.com<mailto:reply@reply.github.com>, drvinceknight/TestingPaper TestingPaper@noreply.github.com<mailto:TestingPaper@noreply.github.com> Cc: Comment comment@noreply.github.com<mailto:comment@noreply.github.com>, James Hetherington j.hetherington@ucl.ac.uk<mailto:j.hetherington@ucl.ac.uk>, James Davenport J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> Subject: RE: [drvinceknight/TestingPaper] Software to reference (#1)

I’m not sure much has happened to the paper since that burst. The closing date for the conference we had planned to submit to (and submitted the abstract) is 22 June. James

From: Vince Knight [mailto:notifications@github.com] Sent: 13 June 2016 08:21 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Hi James,

Apologies but I'm not around on Friday and haven't had a second to keep up with the paper. Hoping to have some time over the Summer.

Vince

On Sat, Jun 11, 2016 at 4:22 PM JamesHDavenport notifications@github.com<mailto:notifications@github.com> wrote:

Thanks for these. This paper seems to have stalled. I’m in Cardiff (examining in CS) on Friday – might we get together in the afternoon and try to kickstart it? James

From: Vince Knight [mailto:notifications@github.com] Sent: 04 April 2016 19:34 To: drvinceknight/TestingPaper Subject: [drvinceknight/TestingPaper] Software to reference (#1)

For property based testing

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub< https://github.com/drvinceknight/TestingPaper/issues/1>

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225369509, or mute the thread https://github.com/notifications/unsubscribe/ACCGWszo_m_nawbdW3jAFRV86KqBHyhOks5qKtKagaJpZM4H_YTU .

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225505916, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamTMYgYyBVq-12JUG2tJy_k88PYVtks5qLQTsgaJpZM4H_YTU.

owlas commented 8 years ago

James, I am temporarily based in Shoreditch, so not far from you. Happy to meet, it would be nice to come up with a skeleton for the contents.

JamesHDavenport commented 8 years ago

Delighted. I come free in Bloomsbury at 15:30 this Thursday if that helps. Of course, you may have been thinking of the other James!

Sent from my iPhone

On 14 Jun 2016, at 09:51, "Oliver Laslett" notifications@github.com<mailto:notifications@github.com> wrote:

James, I am temporarily based in Shoreditch, so not far from you. Happy to meet, it would be nice to come up with a skeleton for the contents.

You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225819049, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamRyNEKyeDXZGv5pzWjODe3bttJDVks5qLmuTgaJpZM4H_YTU.

owlas commented 8 years ago

Both James'! What about you @jamespjh

JamesHDavenport commented 8 years ago

OK - shall we meet Thursday afternoon?

Sent from my iPhone

On 14 Jun 2016, at 09:54, "James Davenport" J.H.Davenport@bath.ac.uk<mailto:J.H.Davenport@bath.ac.uk> wrote:

Delighted. I come free in Bloomsbury at 15:30 this Thursday if that helps. Of course, you may have been thinking of the other James!

Sent from my iPhone

On 14 Jun 2016, at 09:51, "Oliver Laslett" notifications@github.com<mailto:notifications@github.com> wrote:

James, I am temporarily based in Shoreditch, so not far from you. Happy to meet, it would be nice to come up with a skeleton for the contents.

You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225819049, or mute the threadhttps://github.com/notifications/unsubscribe/AGvamRyNEKyeDXZGv5pzWjODe3bttJDVks5qLmuTgaJpZM4H_YTU.

JamesHDavenport commented 8 years ago

Did anyone actually see this? Alas there’s only an abstract. http://emit.tech/are-you-getting-the-wrong-answer-but-fast-challenges-for-reproducible-research-in-hpc/ James

From: Oliver Laslett [mailto:notifications@github.com] Sent: 14 June 2016 09:56 To: drvinceknight/TestingPaper Cc: James Davenport; Comment Subject: Re: [drvinceknight/TestingPaper] Software to reference (#1)

Both James'! What about you @jamespjhhttps://github.com/jamespjh

— You are receiving this because you commented. Reply to this email directly, view it on GitHubhttps://github.com/drvinceknight/TestingPaper/issues/1#issuecomment-225820009, or mute the threadhttps://github.com/notifications/unsubscribe/AGvame0YJBpwCYceHBujWpCG31ijhSMUks5qLmyQgaJpZM4H_YTU.