659 search results - page 105 / 132 » Automatic Testing of Object-Oriented Software |
93
Voted
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
102
click to vote
BCSHCI
2008
15 years 1 months ago
2008
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...
101
click to vote
SIGSOFT
2010
ACM
14 years 10 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...
122
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
114
Voted
IOLTS
2008
IEEE
15 years 6 months ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...