1360 search results - page 169 / 272 » Reasoning on Workflow Executions |
ISSRE
2010
IEEE
13 years 8 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
— Enriched with more and more intelligent devices modern homes rapidly transform into smart environments. Their growing capabilities enable the implementation of a new generation...
COMPSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Test cost minimisation approaches have traditionally been devoted to minimising "execution costs", while maximising coverage or reliability. However, in a runti...
SIGSOFT
2010
ACM
13 years 8 months ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
IEE
2011
13 years 5 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...