ISSTA 2006 | Sciweavers

18

ISSTA
2006
ACM

115views Software Engineering» more ISSTA 2006»

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning

14 years 2 months ago

Finite-state veriﬁcation techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...

Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...

claim paper

Read More »

25

click to vote

ISSTA
2006
ACM

133views Software Engineering» more ISSTA 2006»

Role-Based access control consistency validation

14 years 2 months ago

Download domino.research.ibm.com

Modern enterprise systems support Role-Based Access Control (RBAC). Although RBAC allows restricting access to privileged operations, a deployer may actually intend to restrict ac...

Paolina Centonze, Gleb Naumovich, Stephen J. Fink,...

claim paper

Read More »

25

click to vote

ISSTA
2006
ACM

99views Software Engineering» more ISSTA 2006»

Subdomain testing of units and systems with state

14 years 2 months ago

Download web.cecs.pdx.edu

This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...

Dick Hamlet

claim paper

Read More »

19

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

14 years 2 months ago