5159 search results - page 28 / 1032 » Structural Testing of Executables |
DCC
2007
IEEE
14 years 10 months ago
2007
IEEE
Instruction and data address traces are widely used by computer designers for quantitative evaluations of new architectures and workload characterization, as well as by software de...
ASPDAC
2010
ACM
13 years 9 months ago
2010
ACM
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
ICPR
2008
IEEE
14 years 5 months ago
2008
IEEE
Persons may perform an activity in many different styles, or noise may cause an identical activity to have different temporal structures. We present a robust methodology for recog...
SIGMOD
2011
ACM
13 years 1 months ago
2011
ACM
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...