Discussion about this post

User's avatar
Jose Garrera's avatar

I believe this sentence needs to be fixed: "Furthermore, our assertion does not fail, proving that the source code does not currently satisfy the expected behavior"

Expand full comment
Juha Lassila's avatar

Hmm... those "Hype O-Hole"s in figures are typos, right?

Expand full comment
2 more comments...

No posts