Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
The TAMPR program transformation system: simplifying the development of numerical software
Modern software tools for scientific computing
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
JUnit: Unit Testing and Coding in Tandem
IEEE Software
Stratego/XT 0.16: components for transformation systems
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Concepts: linguistic support for generic programming in C++
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
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
Institutions, property-aware programming and testing
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
The axioms strike back: testing with concepts and axioms in C++
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Yet another language extension scheme
SLE'09 Proceedings of the Second international conference on Software Language Engineering
From types to type requirements: genericity for model-driven engineering
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
Programmers typically have knowledge about properties of their programs that aren't explicitly expressed in the code - properties that may be very useful for, e.g., compiler optimisation and automated testing. Although such information is sometimes written down in a formal or informal specification, it is generally not accessible to compilers and other tools. However, using the idea of concepts and axioms in the upcoming C++ standard, we may embed axioms with program code. In this paper, we sketch how such axioms can be interpreted as rewrite rules and test oracles. Rewrite rules together with user-defined transformation strategies allow us to implement program or library-specific optimisations.