Thomas Knauth, Christof Fetzer, Pascal Felber. Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations. In Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings. pages 182-191, IEEE Computer Society, 2009. [doi]
@inproceedings{KnauthFF09, title = {Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations}, author = {Thomas Knauth and Christof Fetzer and Pascal Felber}, year = {2009}, doi = {10.1109/ICSTW.2009.40}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2009.40}, researchr = {https://researchr.org/publication/KnauthFF09}, cites = {0}, citedby = {0}, pages = {182-191}, booktitle = {Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3671-2}, }