Goal-Directed Reasoning for Specification-Based Data Structure Repair

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 35

Record: found
Abstract: not found
Article: not found

Basic concepts and taxonomy of dependable and secure computing

A. Avizienis, J.-C. Laprie, B. Randell … (2004)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Alpha-particle-induced soft errors in dynamic memories

T.C. May, M.H. Woods (1979)

0 comments Cited 108 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

All references

Author and article information

Journal

Journal ID (publisher-id): IESEDJ

Title: IEEE Transactions on Software Engineering

Abbreviated Title: IIEEE Trans. Software Eng.

Publisher: Institute of Electrical and Electronics Engineers (IEEE)

ISSN (Print): 0098-5589

Publication date Created: 2006

Publication date (Print): December 2006

Volume: 32

Issue: 12

Pages: 931-951

Article

DOI: 10.1109/TSE.2006.122

SO-VID: 9d4a3d20-ffec-4930-9a51-043b70a2f922

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.