| 
|
QuoteRef: tillN7_2006
Topic:
consistency testing
Topic:
symbolic execution
Topic:
test data selection
Reference
Tillmann, N., Shulte, W., "Unit tests reloaded: parameterized unit testing with symbolic execution", IEEE Software, July/August 2006 ,P 38-47. Google
38 ;;Quote: turn unit tests into parameterized, data-driven unit tests (PUT); generate inputs by symbolic execution and constraint solving
Topic: consistency testing (60 items)
Topic: symbolic execution (9 items)
Topic: test data selection (39 items)