STTT 2008 | Sciweavers

Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...

Helmut Neukirchen, Benjamin Zeiss, Jens Grabowski

claim paper

Read More »

30

click to vote

STTT
2008

90views more STTT 2008»

A uniform framework for weighted decision diagrams and its implementation

13 years 10 months ago

Download jossowski.de

1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...

Jörn Ossowski, Christel Baier

claim paper

Read More »

35

click to vote

STTT
2008

134views more STTT 2008»

Automated verification of access control policies using a SAT solver

13 years 10 months ago

Download www.cs.ucsb.edu

Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...

Graham Hughes, Tevfik Bultan

claim paper

Read More »

19

click to vote

STTT
2008

74views more STTT 2008»

FTSyn: a framework for automatic synthesis of fault-tolerance

13 years 10 months ago

Download www.cs.mtu.edu

Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora

claim paper

Read More »

42

click to vote

STTT
2008

162views more STTT 2008»

Coping with large design spaces: design problem solving in fluidic engineering

13 years 10 months ago

Download www.uni-weimar.de

Abstract This paper is about tool support for knowledgeintensive engineering tasks. In particular, it introduces software technology to assist the design of complex technical syste...

Benno Stein

claim paper

Read More »

22

click to vote

STTT
2008

83views more STTT 2008»

Automating test automation

13 years 10 months ago

Download www.ttcn-3.org

Andrej Pietschker

claim paper