1027 search results - page 177 / 206 » Representing and Reasoning with Operational Semantics |
154
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
174
click to vote
ITSSA
2006
15 years 6 months ago
2006
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
142
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
268
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
158
click to vote
PERCOM
2007
ACM
16 years 5 months ago
2007
ACM
We envisage pervasive computing applications to be predominantly engaged in knowledge-based interactions, where services and information will be found and exchanged based on some ...