32 search results - page 2 / 7 » Automated systematic testing for constraint-based interactiv... |
ICSE
2007
IEEE-ACM
14 years 5 months ago
2007
IEEE-ACM
The incorporation of context-awareness capabilities into pervasive applications allows them to leverage contextual information to provide additional services while maintaining an ...
DAC
2009
ACM
14 years 6 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
ICSE
2004
IEEE-ACM
2004
IEEE-ACM
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
14 years 5 months ago
Although object-oriented languages can improve programming practices, their characteristics may introduce new problems for software engineers. One important problem is the presenc...
APSEC
2006
IEEE
13 years 11 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
FORTE
2003
13 years 6 months ago
2003
VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating VoiceXML services are rather low-level. Gra...