Search Sciweavers | Sciweavers

2873 search results - page 11 / 575

» Model Checking and the Mu-calculus

click to vote

GI
2009
Springer

164views Theoretical Computer Science» more GI 2009»

Project Planning Support by Model Checking

13 years 7 months ago

Download subs.emis.de

Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...

Björn Axenath, Oliver Sudmann

claim paper

Read More »

click to vote

ICST
2009
IEEE

138views Software Engineering» more ICST 2009»

An Evaluation of Model Checkers for Specification Based Test Case Generation

13 years 7 months ago

Download cs.unibg.it

Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...

Gordon Fraser, Angelo Gargantini

claim paper

Read More »

click to vote

TSE
2010

123views more TSE 2010»

Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking

13 years 4 months ago

Download www.inf.uni-konstanz.de

Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...

Husain Aljazzar, Stefan Leue

claim paper

Read More »

click to vote

KBSE
2010
IEEE

190views Software Engineering» more KBSE 2010»

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

13 years 8 months ago

Download www.leduotang.com

Sylvain Hallé, Taylor Ettema, Chris Bunch, ...

claim paper

Read More »