5434 search results - page 7 / 1087 » Tool support for MOLA |
STVR
2002
13 years 9 months ago
2002
This paper describes the use of conditioned slicing to assist partition testing, illustrating this with a case study. The paper shows how a conditioned slicing tool can be used to...
TOOLS
2000
IEEE
14 years 2 months ago
2000
IEEE
ENTCS
2002
13 years 9 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
PC
1998
13 years 9 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...
DSS
2000
13 years 9 months ago
2000
Despite the benefits of standards-based Electronic Data Interchange (EDI) modes of communication, only a small percentage of organizations have adopted even a single form of EDI. ...