Test-case reduction slippage (moving from one bug to another due to an insufficiently precise test): Impossible to avoid when you don't want it, impossible to trigger when you want to demonstrate it.
-
Show this thread
-
Woo, finally triggered a slippage bug!
2 replies 0 retweets 3 likesShow this thread -
Replying to @DRMacIver
In case it’s any encouragement, this seems like a really interesting phenomenon to me.
1 reply 0 retweets 1 like -
Replying to @Meaningness
Thanks! And yes, I agree. Slippage is both philosophically interesting and practically really important and not that widely known.
1 reply 0 retweets 0 likes -
Replying to @DRMacIver
More generally, my impression is that there’s startlingly little explicitly known about bugs, empirically or theoretically? Just folk-understanding. Almost nothing in writing when I was a grad student, and I haven’t heard of much since? Seems obviously extremely important…
2 replies 0 retweets 0 likes -
Replying to @Meaningness
I think we're in a slightly annoying state where we know quite a lot about finding bugs, but there's a lack of unifying theory. Part of the problem is the issue I described in https://www.drmaciver.com/2018/04/some-of-my-problems-with-correctness-research/ … - it's very hard to properly study this without industry/research collaboration.
2 replies 0 retweets 2 likes
This was good, thanks. Really looking forward to reading your thesis. (Probably not as much as you are though. Everyone says they want to read the rest of my novel, and I’m like, yeah me too.)
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.