Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

SERP
2008

favoriteEmaildiscussreport

73views Software Engineering» more SERP 2008»

Validating Specifications for Model-Based Testing

13 years 6 months ago

Validating Specifications for Model-Based Testing

Download www.st.cs.ru.nl

Pieter W. M. Koopman, Peter Achten, Rinus Plasmeij

Real-time Traffic

SERP 2008 | Software Engineering |

claim paper

Related Content

» Model Based Test Generation for Microprocessor Architecture Validation

» ModelBased Firewall Conformance Testing

» Automated Test Generation from Models Based on Functional Software Specifications

» Towards Deploying ModelBased Testing with a DomainSpecific Modeling Approach

» TestML A Test Exchange Language for ModelBased Testing of Embedded Software

» Putting Formal Specifications under the Magnifying Glass Modelbased Testing for Validation

» Semantics for ModelBased Validation of ContinuousDiscrete Systems

» ModelBased Test Selection for InfiniteState Reactive Systems

» Optimization of CaseSpecific Vascular Tree Models Based on Vessel Size Imaging

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2008
Where	SERP
Authors	Pieter W. M. Koopman, Peter Achten, Rinus Plasmeijer

Comments (0)