2774 search results - page 408 / 555 » Query-Driven Program Testing |
SCAM
2002
IEEE
14 years 2 months ago
2002
IEEE
The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses thro...
WCRE
2002
IEEE
14 years 2 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...
IFIP
2010
Springer
14 years 2 months ago
2010
Springer
Traditionally, ocean acoustic signals have been acquired using hydrophones, which measure the pressure field and are typically omnidirectional. A vector sensor measures both the ac...
LCPC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...