| 
|
Quote: turn unit tests into parameterized, data-driven unit tests (PUT); generate inputs by symbolic execution and constraint solving
Topic:
consistency testing
Topic:
symbolic execution
Topic:
test data selection
Quotation Skeleton
Parameterized unit tests [PUT, aka. data-driven tests] are unit tests that … techniques and constraint solving to find inputs for … entirely new PUTs that describe an existing implementation's … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: consistency testing (60 items)
Topic: symbolic execution (9 items)
Topic: test data selection (39 items)