DocumentCode

317927

Title

CTPLAN: A Planning-based Approach To Automatically Detecting Flaws In Concurrent Algorithms

Author

Frincke, Deborah A. ; Archer, Myla ; Levitt, Karl

Author_Institution

University of California, Davis

fYear

1991

fDate

22-25 Sep 1991

Firstpage

151

Lastpage

160

Keywords

Costs; Counting circuits; Debugging; Interleaved codes; Performance evaluation; Programming profession; Prototypes; System recovery; System testing; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge-Based Software Engineering Conference, 1991. Proceedings., 6th Annual

ISSN

1068-3062

Print_ISBN

0-8186-2605-4

Type

conf

DOI

10.1109/KBSE.1991.638032

Filename

638032