Search Sciweavers | Sciweavers

3424 search results - page 6 / 685

» Automated Testing of Classes

136

click to vote

INFSOF
2007

104views more INFSOF 2007»

A state-based approach to integration testing based on UML models

15 years 2 months ago

Download squall.sce.carleton.ca

: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...

Shaukat Ali, Lionel C. Briand, Muhammad Jaffar-Ur ...

claim paper

Read More »

click to vote

KR
1994
Springer

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

15 years 7 months ago

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

claim paper

Read More »

105

click to vote

DLOG
2004

93views Automated Reasoning» more DLOG 2004»

Finite Satisfiability of UML Class Diagrams by Constraint Programming

15 years 4 months ago

Download www.dis.uniroma1.it

Toni Mancini

claim paper

Read More »

click to vote

DLOG
2003

98views Automated Reasoning» more DLOG 2003»

Reasoning on UML Class Diagrams is EXPTIME-hard

15 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Daniela Berardi, Diego Calvanese, Giuseppe De Giac...

claim paper

Read More »

181

click to vote

ECSQARU
2011
Springer

235views Automated Reasoning» more ECSQARU 2011»

Constructing Dynamic Frames of Discernment in Cases of Large Number of Classes

14 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers