1468 search results - page 179 / 294 » On Industrial Use of Requirements Engineering Techniques |
156
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
Software developers often do not build software from scratch but reuse software libraries. In theory, the APIs of a library should be stable, but in practice they do change and th...
149
click to vote
LREC
2008
15 years 7 months ago
2008
This paper describes a Name Matching Evaluation Laboratory that is a joint effort across multiple projects. The lab houses our evaluation infrastructure as well as multiple name m...
134
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
Selection is a fundamental task in interactive applications, typically performed by clicking or lassoing items of interest. However, users may require more nuanced forms of select...
182
click to vote
KBSE
2007
IEEE
16 years 19 days ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
133
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...