HackerTube 中文?

"Finding bugs without running or even looking at code" by Jay Parlar

Strange Loop ConferenceYouTube ↗

Further reading 1

How do you turn a one-off failure into a replayable test? →Suppose an acknowledged transfer disappears during a leader change. Six engineering talks separate reproducible inputs, shrinkable operations and invariants, then ask whether the fix actually exercises the original failure.This video helps answer · What does a counterexample refute?

Caption notes

Parlar explores a design in Alloy before implementing it. An unexpected instance in an access-control model can reveal a faulty rule or a missing constraint in the specification itself.

Video or transcript source ↗
Original passages · 2
if the model checker finds any state in which a correctness property fails it'll tell you
"Finding bugs without running or even looking at code" by Jay Parlar · ▶ 6:27–6:37
we haven't been precise enough in our specification
"Finding bugs without running or even looking at code" by Jay Parlar · ▶ 13:39–13:47

Hacker News comments

View original on HN ↗