ciselab / TestGenie

TestGenie - an IntelliJ plugin that natively integrates EvoSuite into the IDE. EvoSuite is an automated test suite generation tool using evolutionary algorithms. Used for research @ SERG, TU Delft.

MIT License

1 stars 0 forks source link

Add property-based tests #150

Closed martinmladenov closed 2 years ago

martinmladenov commented 2 years ago

Description

Property-based tests should be used to test the main functionality when possible.

Definition of Done

[x] The main functionality of the TestCaseCachingService is tested via property-based tests
[x] jqwik is added as a dependency