Reliability analysis in Symbolic PathFinder

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2013, Pages 622-631

  Filieri, Antonio ^a   Pasareanu, Corina S ^b   Visser, Willem ^c  

^a UNIVERSITY OF STUTTGART   (Germany)

^b NASA AMES RESEARCH CENTER   (United States)

^c STELLENBOSCH UNIVERSITY   (South Africa)

Author keywords

[No Author keywords available]

Indexed keywords

EFFICIENT IMPLEMENTATION; FAILURE PROBABILITY; GENERAL METHODOLOGIES; PARALLEL PROGRAM; PROBABILISTIC RELIABILITY ASSESSMENT; STRUCTURED DATA; SYMBOLIC EXECUTION; USAGE SCENARIOS;

NASA; PARALLEL ARCHITECTURES; RELIABILITY ANALYSIS;

SOFTWARE ENGINEERING;

EID: 84886422685     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2013.6606608     Document Type: Conference Paper

References (30)

1. R. Cheung, "A user-oriented software reliability model," IEEE Trans. Soft. Eng., vol. SE-6, no. 2, pp. 118-125, 1980.
2. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing," IEEE Trans. Dependable Secure Comput., vol. 1, no. 1, pp. 11-33, 2004.
3. K. Goseva-Popstojanova, A. Mathur, and K. Trivedi, "Comparison of architecture-based software reliability models," in ISSRE, 2001, pp. 22-31.
4. A. Immonen and E. Niemela, "Survey of reliability and availability prediction methods from the viewpoint of software architecture," Software and Systems Modeling, vol. 7, pp. 49-65, 2008.
5. J. Musa, "Operational profiles in software-reliability engineering," IEEE Software, vol. 10, no. 2, pp. 14-32, March 1993.
6. K. Goseva-Popstojanova, M. Hamill, and R. Perugupalli, "Large empirical case study of architecture-based software reliability," in ISSRE, Nov 2005, pp. 52-61.
7. C. Cadar, D. Dunbar, and D. Engler, "Klee: unassisted and automatic generation of high-coverage tests for complex systems programs," in OSDI, 2008, pp. 209-224.
8. N. Tillmann and J. De Halleux, "Pex: white box test generation for.net," in TAP. Springer, 2008, pp. 134-153.
9. S. Anand, C. Pasareanu, and W. Visser, "Jpf-se: A symbolic execution extension to java pathfinder," ser. LNCS, vol. 4424. Springer, 2007, pp. 134-138.
10. J. C. King, "Symbolic execution and program testing," Commun. ACM, vol. 19, no. 7, pp. 385-394, Jul 1976.
11. W. Pestman, Mathematical Statistics, ser. De Gruyter Textbook. De Gruyter, 2009.
12. J. A. D. Loera, R. Hemmecke, J. Tauzer, and R. Yoshida, "Effective lattice point counting in rational convex polytopes," Journal of Symbolic Computation, vol. 38, no. 4, pp. 1273-1302, 2004.
13. J. Geldenhuys, M. Dwyer, and W. Visser, "Probabilistic symbolic execution," in Proceedings of the 2012 International Symposium on Software Testing and Analysis. ACM, 2012, pp. 166-176.
14. P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems-An Approach to the State-Explosion Problem, ser. LNCS, 1996, vol. 1032.
15. K. Sen, "Scalable automated methods for dynamic program analysis," Ph.D. dissertation, University of Illinois at Urbana-Champaign, 2006.
16. W. Levine, The Control Handbook, Second Edition: Control System Applications, Second Edition, ser. The Electrical Engineering Handbook Series. Taylor and Francis, 2009.
17. C. Boyapati, S. Khurshid, and D. Marinov, "Korat: automated testing based on java predicates," SIGSOFT Softw. Eng. Notes, vol. 27, no. 4, pp. 123-133, Jul. 2002.
18. W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman, and D. Wonnacott, "The omega calculator and library," College Park, MD, vol. 20742, p. 18, 1996.
19. A. Filieri, C. S. Pasareanu, and W. Visser, "Reliability analyzer for SPF," http://filieri.dei.polimi.it/publications/2013-icseSPF/.
20. C. S. Pasareanu, P. C. Mehlitz, D. H. Bushnell, K. Gundy-Burlet, M. R. Lowry, S. Person, and M. Pape, "Combining unit-level symbolic execution and system-level concrete execution for testing nasa software," in ISSTA, 2008.
21. W. Visser, J. Geldenhuys, and M. Dwyer, "Green: Reduce, reuse and recycle constraints in program analysis," in FSE. ACM, 2012.
22. H. Pham, "Recent studies in software reliability engineering," in Handbook of Reliability Engineering, H. Pham, Ed. Springer, 2003, pp. 285-302.
23. M. Palviainen, A. Evesti, and E. Ovaska, "The reliability estimation, prediction and measuring of component-based software," Journal of Systems and Software, vol. 84, no. 6, pp. 1054-1070, 2011.
24. W.-L. Wang, Y. Wu, and M.-H. Chen, "An architecture-based software reliability model," in Dependable Computing, 1999. Proceedings. 1999 Pacific Rim International Symposium on, 1999, pp. 143-150.
25. R. Reussner, H. W. Schmidt, and I. Poernomo, "Reliability prediction for component-based software architectures," Journal of Systems and Software, vol. 66, no. 3, pp. 241-252, 2003.
26. A. Filieri, C. Ghezzi, V. Grassi, and R. Mirandola, "Reliability analysis of component-based systems with multiple failure modes," in Component-Based Software Engineering, ser. LNCS. Springer, 2010, vol. 6092, pp. 1-20.
27. S. Distefano, A. Filieri, C. Ghezzi, and R. Mirandola, "A compositional method for reliability analysis of workflows affected by multiple failure modes," in CBSE. ACM, 2011, pp. 149-158.
28. M. Kwiatkowska, "Quantitative verification: models techniques and tools," in ESEC-FSE. ACM, 2007, pp. 449-458.
29. X. Zhang and F. van Breugel, "Model checking randomized algorithms with java pathfinder," in QEST, sept. 2010, pp. 157-158.
30. -, "A progress measure for explicit-state probabilistic modelcheckers," in Automata, Languages and Programming, ser. LNCS. Springer, 2011, vol. 6756, pp. 283-294.