Sciweavers

7766 search results - page 209 / 1554
» Testing Nondeterminate Systems
Sort
View
117
Voted
MS
2003
15 years 4 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 ...
CDES
2006
80views Hardware» more  CDES 2006»
15 years 4 months ago
Communicating Distributed H systems with Simple Splicing Rules
In this paper we define communicating distributed H systems with simple splicing rules of types (1,3), (1,4) and (2,3) and study the generative capacity. keyword: Splicing systems,...
Kamala Krithivasan, Prahladh Harsha, Muralidhar Ta...
121
Voted
IAT
2006
IEEE
15 years 8 months ago
Evaluating Different Genetic Operators in the Testing for Unwanted Emergent Behavior Using Evolutionary Learning of Behavior
We present an experimental comparison of different genetic operators regarding their use in an evolutionary learning method that searches for unwanted emergent behavior in a multi...
Jörg Denzinger, Jordan Kidney
123
Voted
STEP
2005
IEEE
15 years 8 months ago
TETE: A Non-Invasive Unit Testing Framework for Source Transformation
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
Derek M. Shimozawa, James R. Cordy
134
Voted
VL
2005
IEEE
142views Visual Languages» more  VL 2005»
15 years 8 months ago
JOpera: An Agile Environment for Web Service Composition with Visual Unit Testing and Refactoring
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
Cesare Pautasso