1992 search results - page 54 / 399 » Model Based Testing with Labelled Transition Systems |
97
Voted
EUROGRAPHICS
2010
Eurographics
15 years 11 months ago
2010
Eurographics
Realistic animation and rendering of the ocean is an important aspect for simulators, movies and video games. By nature, the ocean is a difficult problem for Computer Graphics: i...
119
Voted
ICSEA
2007
IEEE
15 years 8 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
112
click to vote
IPL
2010
15 years 25 days ago
2010
Resource bisimilarity has been proposed in the literature on concurrency theory as a notion of bisimilarity over labeled transition systems that takes into account the number of c...
107
Voted
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
108
click to vote
FUIN
2002
15 years 2 months ago
2002
Refinement in bisimulation semantics is defined differently from refinement in failure semantics: in bisimulation semantics refinement is based on simulations between labelled tran...