1376 search results - page 80 / 276 » Model-Driven Software Verification |
77
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
122
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
112
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
142
Voted
SIGSOFT
2010
ACM
15 years 20 days ago
2010
ACM
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
102
Voted
SIGSOFT
2010
ACM
15 years 20 days ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...