75 search results - page 14 / 15 » Toward Accessibility Enhancement of Dependability Modeling T... |
ISSTA
2009
ACM
14 years 25 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
IPCCC
2006
IEEE
14 years 10 days ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
IWPC
2005
IEEE
13 years 12 months ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
ICFP
2010
ACM
13 years 7 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
WWW
2009
ACM
14 years 7 months ago
2009
ACM
The rapid growth of social networking sites and web communities have motivated web sites to expose their APIs to external developers who create mashups by assembling existing func...