1100 search results - page 79 / 220 » An Approach to Test Aspect-oriented Programs |
132
click to vote
SNPD
2008
15 years 4 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
140
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
160
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Software for resource constrained embedded devices is often implemented in the Java programming language because the Java compiler and virtual machine provide enhanced safety, por...
131
Voted
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
124
click to vote
IJFCS
2008
15 years 3 months ago
2008
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...