606 search results - page 65 / 122 » A Comparative Study of Industrial Static Analysis Tools |
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
Most current software systems contain undocumented high-level ideas implemented across multiple files and modules. When developers perform program maintenance tasks, they often wa...
194
Voted
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
86
Voted
ICSE
2008
IEEE-ACM
16 years 21 days ago
2008
IEEE-ACM
Difficulties understanding update paths while understanding code cause developers to waste time and insert bugs. A detailed investigation of these difficulties suggests that a wid...
117
Voted
SAC
2005
ACM
15 years 6 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
100
Voted
CHI
2002
ACM
16 years 29 days ago
2002
ACM
In this paper we discuss a pilot usability study using wireless Internet-enabled personal digital assistants (PDAs). We compared usability data gathered in traditional lab studies...