1210 search results - page 116 / 242 » Formal Techniques for Java Programs |
113
Voted
ENTCS
2002
15 years 2 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
IH
2005
Springer
15 years 8 months ago
2005
Springer
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques are software watermarking, ...
139
click to vote
SIGOPSE
1998
ACM
15 years 6 months ago
1998
ACM
with this, the thread abstraction was introduced. While threads are handling events, or awaiting specific events, unrelated events can be handled by other threads. Unfortunately, ...
153
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
117
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...