Search Sciweavers | Sciweavers

243 search results - page 2 / 49

» Software Testing via Model Checking

click to vote

STTT
2010

116views more STTT 2010»

LTL satisfiability checking

13 years 8 days ago

Download ti.arc.nasa.gov

Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...

Kristin Y. Rozier, Moshe Y. Vardi

claim paper

Read More »

click to vote

ESEC
1999
Springer

114views Software Engineering» more ESEC 1999»

Using Model Checking to Generate Tests from Requirements Specifications

13 years 9 months ago

Download cs.unibg.it

Angelo Gargantini, Constance L. Heitmeyer

claim paper

Read More »

click to vote

AAAI
2010

137views Intelligent Agents» more AAAI 2010»

Dominance Testing via Model Checking

13 years 7 months ago

Download www.cs.iastate.edu

Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...

Ganesh Ram Santhanam, Samik Basu, Vasant Honavar

claim paper

Read More »

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

13 years 9 months ago

Download www.brics.dk

Luca Aceto, Augusto Burgueño, Kim Guldstran...

claim paper

Read More »