293 search results - page 18 / 59 » Modeling bug report quality |
83
Voted
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
ERSHOV
2009
Springer
14 years 7 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
MM
2006
ACM
15 years 3 months ago
2006
ACM
Mobile TV services are available in an increasing number of countries. For cost reasons, most of these services offer material directly recoded for mobile consumption (i.e. withou...
ICDCS
2009
IEEE
15 years 6 months ago
2009
IEEE
Recent years have witnessed the pilot deployments of audio or low-rate video wireless sensor networks for a class of mission-critical applications including search and rescue, sec...
LREC
2008
14 years 11 months ago
2008
We report the results of an experiment to assess the ability of automated MT evaluation metrics to remain sensitive to variations in MT quality as the average quality of the compa...