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]
    • 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]

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]