Reading on Parameterized Unit Testing
Overview
- Tao Xie's lecture notes and slides
- 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]
Algebraic Specifications
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]
Code Contract Studies
- Todd W. Schiller, Kellen Donohue, Forrest Coward, and Michael D. Ernst. Case studies and tools for contract specifications. ICSE 2014. PDF, slides (PDF), slides (PowerPoint), data and tools.
- H.-Christian Estler, Carlo A. Furia, Martin Nordio and Marco Piccioni, Bertrand Meyer. Contracts in Practice, FM 2014. [PDF]