3544 search results - page 488 / 709 » Software Testing |
116
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Web authoring environments enable end-users to create applications that integrate information from other web sources. Users can create web sites that include built-in components t...
87
Voted
ICFP
2004
ACM
16 years 22 days ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
89
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
End-user programmers’ code is notoriously buggy. This problem is amplified by the increasing complexity of end users’ programs. To help end users catch errors early and reliab...
SAC
2009
ACM
15 years 7 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
101
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— Push-to-talk over Cellular (PoC) is considered as one of important applications in Next Generation Networks (NGN). The main objective of this study is to investigate the perfor...