Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Case study on algebraic software methodologies for scientific computing
Scientific Programming
Theory-infected: or how i learned to stop worrying and love universal quantification
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Testing with concepts and axioms in C++
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Testing with concepts and axioms in C++
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Reusable, generic program analyses and transformations
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
| Hi-index | 0.00 |
Unit testing is a popular way of increasing software reliability. Axioms, known from program specification, allow functionality to be described as rules or equations. We show a method and prototype tool for using the proposed concept and axiom features of the upcoming C++0x standard for automated unit testing.