Sciweavers

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

83

Voted

EMISA
2007
Springer

73views Information Technology» more EMISA 2007»

An Approach to use Executable Models for Testing

15 years 9 months ago

An Approach to use Executable Models for Testing

Download www.wi-inf.uni-due.de

Michael Soden, Hajo Eichler

Real-time Traffic

EMISA 2007 |

claim paper

Related Content

» A Generic Approach for Modeling Test Case Priorities with Applications for Test Developmen...

» The Declarative Approach to Business Process Execution An Empirical Test

» Runtime conformance checking of mobile and distributed systems using executable models

» Conformance Testing of Distributed Concurrent Systems with Executable Designs

» Using dynamic execution traces and program invariants to enhance behavioral model inferenc...

» An AutomataBased Approach to Property Testing in Event Traces

» A Systematic Approach to Generate Inputs to Test UML Design Models

» CiCUTS Combining System Execution Modeling Tools with Continuous Integration Environments

» Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications witho...

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	EMISA
Authors	Michael Soden, Hajo Eichler

Comments (0)