2419 search results - page 133 / 484 » A Formal Approach to Software Testing |
144
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
108
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
123
Voted
WOSP
2004
ACM
15 years 8 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...
158
Voted
COMPSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...
139
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...