4722 search results - page 748 / 945 » Encoding Program Executions |
137
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
We present a technique that improves random test generation by incorporating feedback obtained from executing test inputs as they are created. Our technique builds inputs incremen...
142
Voted
ICCD
2008
IEEE
15 years 11 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
119
Voted
IPSN
2010
Springer
15 years 9 months ago
2010
Springer
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs ...
112
Voted
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
Driven by novel biological wet lab techniques such as pyrosequencing there has been an unprecedented molecular data explosion over the last 2-3 years. The growth of biological seq...
134
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...