Gregor Trefs

Stateful example and model checking

11

## Testing Problem I think the stateful stack example is not model checking. Or at least the model that is used to verify the implementation is the implementaion itself. Why?...

Created functional Java

4

The functional Java branch is more idiomatic in regard to the functional style. Projection is a function which maps from a list of events to an optional value. Event filters...

Infinite action chains biased towards small sizes

5

## Testing Problem Consider the following test: ``` @Provide @Property(tries = 5_000) @StatisticsReport(format = Histogram.class) void checkMyStackInfinite(@ForAll("infiniteStackActions") ActionChain chain) { chain.run(); Statistics.label("Chain size").collect(chain.transformations().size()); } @Provide Arbitrary infiniteStackActions() { return ActionChain.startWith(MyStringStack::new)...