A 2-phase method for validation of matching pair property with case studies of operating systems

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2010, Pages 151-160

  Gui, Kang ^a   Kothari, Suraj ^a  

^a Iowa State University   (United States)

Author keywords

Cross cutting semantics; Memory leaks; Program analysis; Synchronization; Validation

Indexed keywords

ACCURATE ANALYSIS; CONTROL FLOWS; CROSS-CUTTING; CROSS-CUTTING SEMANTICS; EXECUTION PATHS; LINUX KERNEL; MEMORY LEAKS; OPERATING SYSTEMS; PHASE METHODS; PRACTICAL METHOD; PROGRAM ANALYSIS; RELEVANT EXECUTION PATH; VALIDATION;

COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; QUALITY ASSURANCE; SEMANTICS; SYNCHRONIZATION;

SOFTWARE RELIABILITY;

EID: 79952018968     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2010.40     Document Type: Conference Paper

References (13)

1. M. Dowson, "The Ariane 5 software failure," SIGSOFT Softw. Eng. Notes, vol. 22, no. 2, p. 84, 1997.
2. S. Cherem, L. Princehouse, and R. Rugina, "Practical memory leak detection using guarded value-flow analysis," SIGPLAN Not., vol. 42, no. 6, pp. 480-491, 2007.
3. M. Eaddy, T. Zimmermann, K. D. Sherwood, V. Garg, G. C. Murphy, N. Nagappan, and A. V. Aho, "Do crosscutting concerns cause defects?" IEEE Trans. Softw. Eng., vol. 34, no. 4, pp. 497-515, 2008.
4. M. S. Lam, J. Whaley, V. B. Livshits, M. C. Martin, D. Avots, M. Carbin, and C. Unkel, "Context-sensitive program analysis as database queries," in PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, 2005, pp. 1-12.
5. R. N. Taylor, "Complexity of analyzing the synchronization structure of concurrent programs," Acta Informatica, vol. 19, no. 1, pp. 57-84, 1983.
6. "Klocwork k7," http://www.klocwork.com/.
7. "Coverity prevent," http://www.coverity.com/products/coverity- prevent.html.
8. D. Engler, B. Chelf, A. Chou, and S. Hallem, "Checking system rules using system-specific, programmer-written compiler extensions," in OSDI'00: Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, 2000, pp. 1-1.
9. D. Evans and D. Larochelle, "Improving security using extensible lightweight static analysis," Software, IEEE, vol. 19, no. 1, pp. 42-51, Jan/Feb 2002.
10. N. Volanschi, "A portable compiler-integrated approach to permanent checking," in ASE '06: Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, 2006, pp. 103-112.
11. S. Neginhal and S. Kothari, "Event views and graph reductions for understanding system level c code," in ICSM '06: Proceedings of the 22nd IEEE International Conference on Software Maintenance, 2006, pp. 279-288.
12. C. Quinn, S. Vilkomir, D. Parnas, and S. Kostic, "Specification of software component requirements using the trace function method," in ICSEA '06: Proceedings of the International Conference on Software Engineering Advances, 2006, p. 50.
13. G. Yorsh, T. Ball, and M. Sagiv, "Testing, abstraction, theorem proving: better together!" in ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis, 2006, pp. 145-156.