1199 search results - page 41 / 240 » Software Verification and Software Engineering a Practitione... |
155
Voted
SIGCSE
2006
ACM
15 years 10 months ago
2006
ACM
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
121
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
133
click to vote
ICSE
2008
IEEE-ACM
16 years 4 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...
124
click to vote
EMSOFT
2006
Springer
15 years 7 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...
128
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...