Sciweavers

2317 search results - page 200 / 464
» Model based testing for agent systems
Sort
View
WSC
2007
15 years 6 months ago
Simulating pandemic influenza risks of US cities
We describe the spatial Agent-Based Computational Laboratory that we have developed to study the pandemic influenza risks of US cities. This research presented a series of interes...
Catherine Dibble, Stephen Wendel, Kristofor Carle
HICSS
2003
IEEE
141views Biometrics» more  HICSS 2003»
15 years 9 months ago
Developing a Value-Based Decision-Making Model for Inquiring Organizations
The effective management of knowledge is critical for organizations that are striving to gain or maintain a competitive advantage and that are in the process of re-structuring for...
Dianne Hall, Yi Guo, Robert A. Davis
ATVA
2006
Springer
102views Hardware» more  ATVA 2006»
15 years 7 months ago
A Semantic Framework for Test Coverage
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...
Laura Brandán Briones, Ed Brinksma, Mari&eu...
PADL
2007
Springer
15 years 10 months ago
BAD, a Declarative Logic-Based Language for Brain Modeling
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Alan H. Bond
165
Voted
MBEES
2008
15 years 5 months ago
Composition of Model-based Test Coverage Criteria
: 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...
Mario Friske, Bernd-Holger Schlingloff, Stephan We...