74 search results - page 9 / 15 » Using Metamorphic Testing to Improve Dynamic Symbolic Execut... |
EMSOFT
2008
Springer
13 years 8 months ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
CSMR
2007
IEEE
14 years 1 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
SIGSOFT
2009
ACM
14 years 1 months ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
PLDI
2003
ACM
13 years 12 months ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
ECRTS
2005
IEEE
14 years 10 days ago
2005
IEEE
Multiprocessor hardware platforms are now being considered for embedded systems, due to their high computational power and little additional cost when compared to single processor...