NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Automatic Extraction of JPF Options and DocumentationDocumenting existing Java PathFinder (JPF) projects or developing new extensions is a challenging task. JPF provides a platform for creating new extensions and relies on key-value properties for their configuration. Keeping track of all possible options and extension mechanisms in JPF can be difficult. This paper presents jpf-autodoc-options, a tool that automatically extracts JPF projects options and other documentation-related information, which can greatly help both JPF users and developers of JPF extensions.
Document ID
20140010139
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Luks, Wojciech (AGH Univ of Science and Technology Cracow, Poland)
Tkachuk, Oksana (Stinger Ghaffarian Technologies, Inc. (SGT, Inc.) Moffett Field, CA, United States)
Buschnell, David (Stinger Ghaffarian Technologies, Inc. (SGT, Inc.) Moffett Field, CA, United States)
Date Acquired
July 24, 2014
Publication Date
November 12, 2011
Subject Category
Computer Programming And Software
Report/Patent Number
ARC-E-DAA-TN4210
Report Number: ARC-E-DAA-TN4210
Meeting Information
Meeting: JPF Workshop at Automated Software Engineering (ASE 2011)
Location: Lawrence, KS
Country: United States
Start Date: November 12, 2011
Sponsors: Institute of Electrical and Electronics Engineers
Funding Number(s)
CONTRACT_GRANT: NNA08CG83C
Distribution Limits
Public
Copyright
Public Use Permitted.
Keywords
Static Analysis
Project Documentation
Java PathFinder

Related Records

There are no records associated with this record.
No Preview Available