This README.txt file was generated on 20200623 by Changjian Zhang # # General instructions for completing README: # For sections that are non-applicable, mark as N/A (do not delete any sections). # Please leave all commented sections in README (do not delete any text). # ------------------- GENERAL INFORMATION ------------------- 1. Title of Dataset: A Behavioral Notion of Robustness for Software Systems # # Authors: Include contact information for at least the # first author and corresponding author (if not the same), # specifically email address, phone number (optional, but preferred), and institution. # Contact information for all authors is preferred. # 2. Author Information First Author Contact Information Name: Changjian Zhang Institution: Carnegie Mellon University Address: 5000 Forbes Avenue, Pittsburgh, Pennsylvania, USA, 15213 Email: changjiz@andrew.cmu.edu Phone Number: Corresponding Author Contact Information Name: Eunsuk Kang Institution: Carnegie Mellon University Address: 5000 Forbes Avenue, Pittsburgh, Pennsylvania, USA, 15213 Email: eunsukk@andrew.cmu.edu Phone Number: Author Contact Information Name: David Garlan Institution: Carnegie Mellon University Address: 5000 Forbes Avenue, Pittsburgh, Pennsylvania, USA, 15213 Email: garlan@cs.cmu.edu Phone Number: --------------------- DATA & FILE OVERVIEW --------------------- # # Directory of Files in Dataset: List and define the different # files included in the dataset. This serves as its table of # contents. # Directory of Files: A. Filename: LTSA-Robust-1.1.tar.gz Short description: This file contains the source code of our software of version 1.1. Also, a README file for running our software is included. B. Filename: LTSA-Robust-1.1.zip Short description: This file contains the source code of our software of version 1.1. Also, a README file for running our software is included. C. Filename: models.zip Short description: This file contains the models we used in our paper. The models are also used in our tutorial in the README file. D. Filename: robustness-calculator.jar Short description: This file is the executable jar file of our software. Additional Notes on File Relationships, Context, or Content (for example, if a user wants to reuse and/or cite your data, what information would you want them to know?): To reproduce the results in our paper, users can follow the instructions in the README file which is archived in the source code package (LTSA-Robust-1.1.tar.gz or LTSA-Robust-1.1.zip). # # File Naming Convention: Define your File Naming Convention # (FNC), the framework used for naming your files systematically # to describe what they contain, which could be combined with the # Directory of Files. # File Naming Convention: N/A # # Data Description: A data description, dictionary, or codebook # defines the variables and abbreviations used in a dataset. This # information can be included in the README file, in a separate # file, or as part of the data file. If it is in a separate file # or in the data file, explain where this information is located # and ensure that it is accessible without specialized software. # (We recommend using plain text files or tabular plain text CSV # files exported from spreadsheet software.) # ----------------------------------------- DATA DESCRIPTION FOR: N/A ----------------------------------------- -------------------------- METHODOLOGICAL INFORMATION -------------------------- # # Software: If specialized software(s) generated your data or # are necessary to interpret it, please provide for each (if # applicable): software name, version, system requirements, # and developer. #If you developed the software, please provide (if applicable): #A copy of the software’s binary executable compatible with the system requirements described above. #A source snapshot or distribution if the source code is not stored in a publicly available online repository. #All software source components, including pointers to source(s) for third-party components (if any) 1. Software-specific information: Name: robustness-calculator.jar Version: 1.1 System Requirements: Windows, Linux, or Mac; Java Version >= 1.8 Open Source? (Y/N): Y Executable URL: N/A Source Repository URL: https://github.com/SteveZhangBit/LTSA-Robust Developer: Changjian Zhang Product URL: https://github.com/SteveZhangBit/LTSA-Robust/releases/tag/v1.1 Software source components: N/A Additional Notes(such as, will this software not run on certain operating systems?): N/A # # Equipment: If specialized equipment generated your data, # please provide for each (if applicable): equipment name, # manufacturer, model, and calibration information. Be sure # to include specialized file format information in the data # dictionary. # 2. Equipment-specific information: N/A # # Dates of Data Collection: List the dates and/or times of # data collection. # 3. Date of data collection (single date, range, approximate date): N/A