STARC: Static analysis for efficient repair of complex data

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2007, Pages 387-403

  Elkarablieh, Bassem ^a   Khurshid, Sarfraz ^a   Vu, Duy ^a   McKinley, Kathryn S ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Data structure repair; Static analysis; Symbolic execution

Indexed keywords

COMPLEX DATA; CONSTRAINT-BASED; DEPLOYED SYSTEMS; EXPERIMENTAL RESULTS; FUTURE WORK; INTEGRITY CONSTRAINTS (IC); INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); LOCAL FIELDS; OBJECT FIELDS; OBJECT-ORIENTED PROGRAMMING; P RIOR WORK; SOFTWARE SYSTEMS; SYSTEMATIC SEARCH; VERY LARGE (VL) DATA;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; FILE ORGANIZATION; LINGUISTICS; MAINTENANCE; NEODYMIUM; OBJECT ORIENTED PROGRAMMING; PRODUCT DESIGN; PROGRAM DEBUGGING; QUALITY ASSURANCE; RELIABILITY; RELIABILITY ANALYSIS; REPAIR; SOFTWARE RELIABILITY; STATIC ANALYSIS; TURBULENT FLOW;

DATA STRUCTURES;

EID: 42149184094     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1297027.1297056     Document Type: Conference Paper

References (41)

1. William Adjie-Winoto, Elliot Schwartz, Hari Balakrishnan, and Jeremy Lilley. The design and implementation of an intentional naming system. In Proc. 17th ACM Symposium on Operating Systems Principles (SOSP), Kiawah Island, December 1999.
2. C. Artho, H. Barringer, A. Goldberg, K. Havelund, S. Khurshid, M. Lowry, C. Pasareanu, G. Rosu, K. Sen, W. Visser, and R. Washington. Combining test case generation and runtime verification. Theoretical Computer Science, 2005.
3. Clark Barrett and Sergey Berezin. CVC Lite: A new implementation of the cooperating validity checker. In Proceedings of the 16th International Conference On Computer Aided Verification, Boston, MA, July 2004.
4. Douglas Barry. Web Services and Service-Oriented Architectures: The Savvy Manager's Guide., chapter Service Oriented Architecture. Morgan Kaufmann Publishers, 2003.
5. Chandrasekhar Boyapati, Sarfraz Khurshid, and Darko Marinov. Korat: Automated testing based on Java predicates. In Proc. International Symposium on Software Testing and Analysis (ISSTA), July 2002.
6. B. Cahoon and K. McKinley. Recurrence analysis for effective array prefetching in java. Concurrency and Computation Practice and Experience, 17, February 2005.
7. Brendon Cahoon. Effective Compile-Time Analysis for Data Prefetching in Java. PhD thesis, University of Massachusetts, Boston, MA, 2002.
8. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. The MIT Press, Cambridge, MA, 1999.
9. Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to Algorithms. The MIT Press, Cambridge, MA, 1990.
10. Brian Demsky. Data Structure Repair Using Goal-Directed Reasoning. PhD thesis, Massachusetts Institute of Technology, January 2006.
11. Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, and Martin Rinard. Inference and enforcement of data structure consistency specifications. In Proc. International Symposium on Software Testing and Analysis (ISSTA), July 2006.
12. Brian Demsky and Martin Rinard. Automatic detection and repair of errors in data structures. In Proc. Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2003.
13. Bassem Elkarablieh, Iván García, Yuk Lai Suen, and Sarfraz Khurshid. Assertion-based repair of structurally complex data. (Under submission).
14. Bassem Elkarablieh, Yahya Zayour, and Sarfraz Khurshid. Efficiently generating structurally complex inputs with thousands of objects. In Proc. European Conference on Object-Oriented Programming (ECOOP), July 2007.
15. Sanguthevar Rajasekaran Ellis Horowitz. Computer Algorithms. W. H. Freeman, second edition, 1997.
16. Michael D. Ernst. Dynamically Discovering Likely Program Invariants. PhD thesis, University of Washington Department of Computer Science and Engineering, Seattle, Washington, August 2000.
17. Ivan Garcia. Enabling symbolic execution of Java programs using bytecode instrumentation. Master's thesis, The University of Texas at Austin, May 2005.
18. Patrice Godefroid. Model checking for programming languages using VeriSoft. In Proc. 24th Annual ACM Symposium on the Principles of Programming Languages (POPL), Paris, France, January 1997.
19. Sudhakar Govindavajhala and Andrew W. Appel. Using memory errors to attack a virtual machine. In SP '03: Proceedings of the 2003 IEEE Symposium on Security and Privacy, 2003.
20. G. Haugk, F. Lax, R. Royer, and J. Williams. The 5ESS(TM) switching system: Maintenance capabilities. AT&T Technical Journal, 64(6 part 2), 1985.
21. Klaus Havelund and Thomas Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, 1999.
22. Gerald Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5), May 1997.
23. Daniel Jackson. Micromodels of software: Modelling and analysis with Alloy, 2001.
24. Daniel Jackson. Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge, MA, 2006.
25. B. Jobstmann, A. Griesmayer, and R. Bloem. Program repair as a game. In 17th Conference on Computer Aided Verification (CAV '05), 2005.
26. Maria Jump and Kathryn S. McKinley. Cork: Dynamic memory leak detection for java. In Proc. 34th Annual ACM Symposium on the Principles of Programming Languages (POPL), 2007.
27. Feras Karablieh, Rida A. Bazzi, and Margaret Hicks. Compiler-assisted heterogeneous checkpointing. In Symposium on Reliable Distributed Systems (SRDS), October 2001.
28. Sarfraz Khurshid, Ivan Garcia, and Yuk Lai Suen. Repairing structurally complex data. In Proc. 12th SPIN Workshop on Software Model Checking, 2005.
29. Sarfraz Khurshid, Corina Pasareanu, and Willem Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), Warsaw, Poland, April 2003.
30. J. L. Kim and T. Park. An efficient protocol for checkpointing recovery in distributed systems. IEEE Transactions on Parallel and Distributed Systems, Aug 1993.
31. James C. King. Symbolic execution and program testing. Communications of the ACM, 19(7), 1976.
32. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison Wesley, second edition, 1999.
33. Barbara Liskov and John Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.
34. Muhammad Zubair Malik, Aman Pervaiz, and Sarfraz Khurshid. Generating representation invariants of structurally complex data. In Proc. 11th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2007.
35. Darko Marinov. Automatic Testing of Software with Structurally Complex Inputs. PhD thesis, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 2004.
36. Samiha Mourad and Dorothy Andrews. On the reliability of the IBM MVS/XA operating system. IEEE Transactions on Software Engineering, 13(10), 1987.
37. Alexey Smirnov and Tzi-cker Chiueh. DIRA: Automatic detection, identification, and repair of control-hijacking attacks. In The 12th Annual Network and Distributed System Security Symposium, San Diego, CA, February 2005.
38. William Stallings. Computer Organization and Architecture., chapter Cache Memory. Prentice-Hall, Englewood Cliffs, NJ, 2006.
39. Yuk Lai Suen. Automatically repairing structurally complex data. Master's thesis, Department of Electrical and Computer Engineering, The University of Texas at Austin, May 2005.
40. Willem Visser, Klaus Havelund, Guillaume Brat, and SeungJoon Park. Model checking programs. In Proc. 15th Conference on Automated Software Engineering (ASE), Grenoble, France, 2000.
41. Tao Xie and David Notkin. Tool-assisted unit test generation and selection based on operational abstractions. Automated Software Engineering Journal, 2006.