Overview of Slicing and Feedback Techniques for Efficient Verification of UML/OCL Class Diagrams

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 29

Record: found
Abstract: not found
Article: not found

Program Slicing

Mark Weiser (1984)

0 comments Cited 96 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Alloy: a lightweight object modelling notation

Daniel Jackson (2002)

0 comments Cited 63 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

UMLtoCSP

Jordi Cabot, Robert Clarisó, Daniel Riera (2007)

0 comments Cited 12 times – based on 0 reviews      Review now

Bookmark

All references

Author and article information

Journal

Title: IEEE Access

Abbreviated Title: IEEE Access

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

ISSN (Electronic): 2169-3536

Publication date Created: 2018

Publication date (Print): 2018

Volume: 6

Pages: 23864-23882

Article

DOI: 10.1109/ACCESS.2018.2797695

SO-VID: 1d69e548-545c-4005-af0d-c6a46ee736db

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.