Juzi: A tool for repairing complex data structures

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 855-858

  Elkarablieh, Bassem ^a   Khurshid, Sarfraz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Assertions; Data structure repair; Error recovery; Symbolic execution; Systematic search

Indexed keywords

ASSERTIONS; DATA STRUCTURE REPAIR; ERROR RECOVERY; SYMBOLIC EXECUTION; SYSTEMATIC SEARCH; COMPLEX DATA STRUCTURES; COMPLEX STRUCTURE; INTEGRITY CONSTRAINTS; JAVA CLASS; REPAIR ALGORITHMS; STANDALONE APPLICATIONS;

COMPUTER SOFTWARE; DATA STRUCTURES; QUALITY ASSURANCE; SOFTWARE ENGINEERING; STRUCTURAL INTEGRITY; TRELLIS CODES;

REPAIR;

EID: 57349103103     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1368088.1368222     Document Type: Conference Paper

References (9)

1. 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.
2. Bassem Elkarablieh, Iván García, Yuk Lai Suen, and Sarfraz Khurshid. Assertion-based repair of structurally complex data. In Proc, 22th Conference on Automated Software Engineering (ASE), November 2007.
3. Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, and Kathryn McKinley. Stare: Static analysis for efficient repair of complex data. In Proc. Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), October 2007.
4. 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.
5. Sarfraz Khurshid, Iván García, and Yuk Lai Suen. Repairing structurally complex data. In Proc. 12th SPIN Workshop on Software Model Checking, 2005.
6. Sarfraz Khurshid, Corina Pasareanu, and Willem Visser. Generalized symbolic execution for model checking and testing. In Proc. 9th Conference on Tools arid Algorithms for Construction and Analysis of Systems (TACAS), Warsaw, Poland, April 2003.
7. James C. King. Symbolic execution and program testing. Communications of the ACM, 19(7), 1976.
8. Barbara Liskov and John Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.
9. Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, and Sarfraz Khurshid. Korat: A tool for generating structurally complex test inputs. In ICSE '07: Proceedings of the 29th International Conference on Software Engineering, pages 771-774, Washington, DC, USA, 2007.