Unit tests reloaded: parameterized unit testing with symbolic execution
Unit tests are becoming popular. Are there ways to automate the generation of good unit tests? Parameterized unit tests are unit tests that depend on inputs. PUTs describe behav...