6197 search results - page 260 / 1240 » Sandbridge Software Tools |
154
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thu...
129
click to vote
SCAM
2007
IEEE
16 years 26 days ago
2007
IEEE
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...
190
click to vote
ICSE
2007
IEEE-ACM
16 years 23 days ago
2007
IEEE-ACM
We present the tool TAXI which implements the XMLbased Partition Testing approach for the automated generation of XML Instances conforming to a given XML Schema. In addition it pr...
169
click to vote
SPIN
2007
Springer
16 years 21 days ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
141
click to vote
AC
2003
Springer
15 years 12 months ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...