Nikolai Tillmann and Wolfram Schulte, Parameterized Unit Tests, in FSE/ESEC 2005 [PDF]
Nikolai Tillmann and Wolfram Schulte, Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution, IEEE Software 2006. [PDF]
Advanced Concepts: Parameterized Unit Testing with Microsoft Pex. White Paper. 2010 [PDF]
Parameterized Unit Testing with Microsoft Pex. Tutorial. [PDF]
Algebraic Specifications
Ian Sommerville. Algebraic Specification. Book Chapter. 1995. [PDF]
Hong Zhu and Bo Yu. An Experiment with Algebraic Specifications of Software Components Share. QSIC 2010. [PDF]
Theories
David Saff, Marat Boshernitsan, and Michael D. Ernst. Theories in practice: Easy-to-write specifications that catch bugs. MIT-CSAIL-TR-2008-002, 2008. [PDF]
David Saff. Theory-infected: Or how I learned to stop worrying and love universal quantification. OOPSLA 2007 Companion. [PDF]
David Saff. From developer's head to developer tests: Characterization, theories, and preventing one more bug. OOPSLA 2007 Companion. [PDF]
Blog post: JUnit Theories and Other Beasts, Part 2. 2012 [HTML]
Blog post: JUnit Theories and Other Beasts, Part 3. 2012 [HTML]
Test Generalization
Suresh Thummalapenta, Madhuri Marri, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. Retrofitting Unit Tests for Parameterized Unit Testing. FASE 2011. [PDF]