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 15 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 10 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 10 months ago

Download www.brics.dk

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

claim paper

Read More »