1199 search results - page 44 / 240 » Software Verification and Software Engineering a Practitione... |
131
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
112
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
156
click to vote
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
A plethora of recent work leverages historical data to help practitioners better prioritize their software quality assurance efforts. However, the adoption of this prior work in p...
139
Voted
MSR
2010
ACM
15 years 9 months ago
2010
ACM
—Bugs in Debian differ from regular software bugs. They are usually associated with packages, instead of software modules. They are caused and fixed by source package uploads in...
186
Voted
ISCI
2011
14 years 11 months ago
2011
It is well known that software maintenance and evolution are expensive activities, both in terms of invested time and money. Reverse engineering activities support the obtainment ...