Sciweavers

1660 search results - page 16 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
62
Voted
ITC
2003
IEEE
114views Hardware» more  ITC 2003»
15 years 2 months ago
Test-Based Model Generation For Legacy Systems
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 3 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
ITC
1999
IEEE
103views Hardware» more  ITC 1999»
15 years 1 months ago
Resistive bridge fault modeling, simulation and test generation
Resistive bridging faults in combinational CMOS circuits are studied in this work. Circuit-level models are ed to voltage behavior for use in voltage-level fault simulation and te...
Vijay R. Sar-Dessai, D. M. H. Walker
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
15 years 3 months ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...
GECCO
2008
Springer
182views Optimization» more  GECCO 2008»
14 years 10 months ago
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
Heather Goldsby, Betty H. C. Cheng