383 search results - page 58 / 77 » Unit testing concurrent software |
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
WOTUG
2008
13 years 11 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...
SIGSOFT
2009
ACM
14 years 4 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...
FOAL
2009
ACM
14 years 4 months ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
HASE
2007
IEEE
14 years 4 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...