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
.
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
2009
2009 International Conference on Software Testing Verification and Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code can be automatically generated. The success (or failure) of such a transformation depends substantially on obtaining a correct, well-formed initial model that captures user concerns. Model-based testing automates black box testing based on the model of the system under analysis. This paper proposes and evaluates a novel
doi:10.1109/icst.2009.20
dblp:conf/icst/AydalPUW09
fatcat:br3nw7z3fvha7chcsvibqxub2e