Sciweavers

2072 search results - page 96 / 415
» Multibook's test environment
Sort
View
CASES
2007
ACM
15 years 10 months ago
SCCP/x: a compilation profile to support testing and verification of optimized code
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
Raimund Kirner
ICSE
2008
IEEE-ACM
16 years 7 months ago
Testing pervasive software in the presence of context inconsistency resolution services
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pe...
Heng Lu, W. K. Chan, T. H. Tse
DIGITEL
2008
IEEE
16 years 24 days ago
Games as Skins for Online Tests
: Games play a dual role: they test the player’s competence, and at the same time provide learning opportunities. They offer a simple form of a reward – the pleasure of playing...
Srinivasan Ramani, Venkatagiri Sirigiri, Nila Lohi...
CACM
2002
106views more  CACM 2002»
15 years 6 months ago
Testing and demonstrating context-aware services with Quake III Arena
Developers of context-aware services, i.e. services that make use of sensory information from the environment of their users, often find testing and demonstrating services to be di...
Markus Bylund, Fredrik Espinoza
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 12 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...