1516 search results - page 152 / 304 » Trends in Software Verification |
117
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
122
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Inspections can be made more cost-effective by using capturerecapture methods to estimate post-inspection defects. Previous capture-recapture studies of inspections used relativel...
146
Voted
WWW
2005
ACM
16 years 4 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
135
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
103
Voted
SIGUCCS
2003
ACM
15 years 8 months ago
2003
ACM
Academic lab managers have been using Sassafras's KeyServer software for more than a decade to manage software licenses. KeyServer is server-based license management software...