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...
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...
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, ...
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...
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 ...