1992 search results - page 38 / 399 » Model Based Testing with Labelled Transition Systems |
150
click to vote
MBEES
2008
15 years 3 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
126
click to vote
CIVR
2004
Springer
15 years 7 months ago
2004
Springer
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
123
click to vote
SPIN
2010
Springer
15 years 21 days ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
120
Voted
DBPL
2001
Springer
15 years 6 months ago
2001
Springer
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...