7766 search results - page 233 / 1554 » Testing Nondeterminate Systems |
177
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
166
click to vote
HCI
2009
15 years 4 months ago
2009
In early 2007, the California State University (CSU) system initiated a program to make all information technology accessible to persons with disabilities; the authors were appoint...
136
click to vote
CHI
2006
ACM
2006
ACM
Design and experimental analysis of continuous location tracking techniques for Wizard of Oz testing
16 years 6 months ago
Wizard of Oz (WOz) testing has shown promise as an effective way to test location-enhanced applications. However, it is challenging to conduct a location-based WOz test because of...
147
click to vote
ICST
2009
IEEE
16 years 27 days ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
163
click to vote
ISSRE
2008
IEEE
16 years 19 days ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...