44 search results - page 4 / 9 » A General Model of Unit Testing Efficacy |
190
click to vote
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
ASSETS
2007
ACM
15 years 3 months ago
2007
ACM
Word prediction can be used to enhance the communication rate of people with disabilities who use Augmentative and Alternative Communication (AAC) devices. We use statistical meth...
FLAIRS
2004
15 years 1 months ago
2004
Intra- and inter-speaker information, which include acoustical, speaker style, speech rate and temporal variation, despite their critical importance for the verification of claims...
137
click to vote
GLVLSI
2009
IEEE
14 years 9 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
112
Voted
ACL
2012
13 years 2 months ago
2012
We propose a latent variable model to enhance historical analysis of large corpora. This work extends prior work in topic modelling by incorporating metadata, and the interactions...