ISSTA 2006 | Sciweavers

9

ISSTA
2006
ACM

115views Software Engineering» more ISSTA 2006»

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

13 years 10 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 »

11

click to vote

ISSTA
2006
ACM

133views Software Engineering» more ISSTA 2006»

Role-Based access control consistency validation

13 years 10 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 »

12

click to vote

ISSTA
2006
ACM

99views Software Engineering» more ISSTA 2006»

Subdomain testing of units and systems with state

13 years 10 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 »

10

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

13 years 10 months ago