Electronic Notes in Theoretical Computer Science, Volume 111
Volume 111, January 2005
- Keith Stobie: Model Based Testing in Practice at Microsoft. 5-12
- Mirko Conrad, Ines Fey, Sadegh Sadeghipour: Systematic Model-Based Testing of Embedded Automotive Software. 13-26
- Antti Kervinen, Pablo Virolainen: Heuristics for Faster Error Detection With Automated Black Box Testing. 53-71
- Seung Mo Cho, Jae Wook Lee: Lightweight Specification-based Testing of Memory Cards: A Case Study. 73-91
- Manoranjan Satpathy, Michael Leuschel, Michael J. Butler: ProTest: An Automatic Test Environment for B Specifications. 113-136
- Victor V. Kuliamin: Multi-paradigm Models as Source for Automated Test Construction. 137-160
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team