Hacker News Reader

Very nice!

Does this tool have a state model that you can check the application state against? In other words, does it have property-based testing? Here[1] is a demo of what that looks like.

I

[1] https://medium.com/criteo-engineering/detecting-the-unexpect...

View on HN

Thank you! I'd like to support property-based testing in the future. For this demo I focused on visualization and more exploratory testing.

I figured that'd make the demo more approachable to people who weren't already into fuzzing or formal methods. But being able to automatically discover non-crashing bugs using property-based testing could be pretty powerful.

Reply on news.ycombinator.com