523 search results - page 57 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
128
click to vote
ISSTA
2006
ACM
15 years 8 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...
118
click to vote
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
135
Voted
CACM
1998
15 years 2 months ago
1998
The long range goal of the “Virtual Design Team” (VDT) research program is to develop computational tools to analyze decision making and communication behavior and thereby to ...
130
click to vote
ENTCS
2007
15 years 2 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
148
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...