A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
An Expressive Semantics of Mocking
[chapter]
2014
Lecture Notes in Computer Science
We present a semantics of mocking, based on a process calculuslike formalism, and an associated mocking framework. We can build expressive mocking specifications from a small, orthogonal set of operators. Our framework detects and rejects ambiguous specifications as a validation measure. We report our experience testing software components for the car industry, which needed the full power of our framework.
doi:10.1007/978-3-642-54804-8_27
fatcat:yr2iu5o7qfctnlgimniayfyngq