1 DSD is dynamic-static-dynamic. Three steps: extract invariants (to exclude unwanted values), explore paths with static analysis, generate tests based on static results. 2 They use Daikon tool to infer program invariants (D) and their previous tool Check’n’Crash (SD): ESC/Java (S), JCrasher (D).

Sergey Vartanov, 2007–2020