Sciweavers

21183 search results - page 490 / 4237
» Adaptive Testing by Test
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
15 years 8 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
ACE
2004
236views Education» more  ACE 2004»
15 years 8 months ago
Peer Testing in Software Engineering Projects
For the last six years, students in the Software Engineering Project course at the University of Tasmania have undertaken projects in teams of four or five members. Since 1998 pee...
Nicole Clark
AIIDE
2006
15 years 8 months ago
Building Test Beds for AI with the Q3 Mod Base
We extend the open source Quake 3 Arena code base released by Id Software to include modification friendly code segments, art asset blueprints, external agent control and percepti...
G. Michael Youngblood, Billy Nolen, Michael Ross, ...
CASCON
2006
98views Education» more  CASCON 2006»
15 years 8 months ago
A lightweight approach to state based security testing
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
Songtao Zhang, Thomas R. Dean, Scott Knight
MS
2003
15 years 8 months ago
Dynamic Model of Nickel Hydrogen Battery - The Virtual Test Bed Implementation
A dynamic model of a nickel hydrogen battery implemented in the Virtual Test Bed (VTB) is presented. The battery system is simplified as such one-electrontransfer redox reaction o...
Shengyi Liu, Roger Dougal, John W. Weidner, Lijun ...