Sciweavers

1253 search results - page 78 / 251
» Exploration Testing
Sort
View
111
Voted
ET
2002
108views more  ET 2002»
15 years 2 months ago
Diagnosis Strategies for Hardware or Software Systems
In this paper we explore two alternative approaches to system diagnosis. The first strategy is based on testability analysis performed by SATAN tool. The second approach performed ...
Maisaa Khalil, Chantal Robach, Franc Novak
99
Voted
PTS
2010
147views Hardware» more  PTS 2010»
15 years 1 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
TEI
2009
ACM
127views Hardware» more  TEI 2009»
15 years 9 months ago
Living interfaces: the impatient toaster
This paper introduces the Impatient Toaster, a kitchen appliance designed to motivate its owners to eat more often and in regular intervals: After not using it for a while, it sig...
Eva Burneleit, Fabian Hemmert, Reto Wettach
129
Voted
VRML
2005
ACM
15 years 8 months ago
Location-aware visualization of VRML models in GPS-based mobile guides
In this paper, we present LAMP3D, a system for the locationaware presentation of VRML content on mobile devices. We explore the application of LAMP3D in tourist mobile guides: the...
Stefano Burigat, Luca Chittaro
GECCO
2008
Springer
167views Optimization» more  GECCO 2008»
15 years 3 months ago
Using coevolution to understand and validate game balance in continuous games
We attack the problem of game balancing by using a coevolutionary algorithm to explore the space of possible game strategies and counter strategies. We define balanced games as g...
Ryan E. Leigh, Justin Schonfeld, Sushil J. Louis