3544 search results - page 498 / 709 » Software Testing |
187
Voted
NFM
2011
14 years 7 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
195
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
92
Voted
PASTE
1998
ACM
15 years 5 months ago
1998
ACM
The task of mappingbetween source programs and machine code, once the code has been optimizedand transformed by a compiler is often di cult. Yet there are many instances, such as ...
78
Voted
LREC
2010
15 years 2 months ago
2010
Current state-of-the-art systems for automatic phonetic transcription (APT) are mostly phone recognizers based on Hidden Markov models (HMMs). We present a different approach for ...
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...