DECIMAL and PLFaultCAT: From product-line requirements to product-line member software fault trees

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 49-50

  Dehlinger, Josh ^a   Humphrey, Meredith ^a   Suvorov, Lada ^a   Padmanabhan, Prasanna ^b   Lutz, Robyn ^a,c  

^a IOWA STATE UNIVERSITY   (United States)

^b Citrix Systems Inc   (United States)

^c CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; FAULT TREE ANALYSIS; PRODUCT DEVELOPMENT; PRODUCTION ENGINEERING; VERIFICATION;

PRODUCT LINE ENGINEERING; SOFTWARE FAULT TREE ANALYSIS (SFTA); VERIFICATION TOOLS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34548729125     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSECOMPANION.2007.29     Document Type: Conference Paper

References (3)

1. Dehlinger, J. and Lutz, R R, "PLFaultCAT: A ProductLine Software Fault Tree Analysis Tool," Automated Software Engineering Journal, 13(1):169-193, 2006.
2. Padmanabhan, P. and Lutz, R R., "Tool-Supported Verification of Product-Line Requirements", Automated Software Engineering Journal, 12(4):447-485, 2005.
3. Weiss, D. M. and Lai, C. T. R, Software Product-Line Engineering, Addison-Wesley, Reading, MA, 1999.