Generating representation invariants of structurally complex data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4424 LNCS, Issue , 2007, Pages 34-49

  Malik, Muhammad Zubair ^a   Pervaiz, Aman ^a   Khurshid, Sarfraz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; DYNAMIC ANALYSIS; GRAPH THEORY; JAVA PROGRAMMING LANGUAGE; ARTIFICIAL INTELLIGENCE; COMPUTERS;

DERYAFT FOCUSES; GRAPH PROPERTIES; SOFTWARE CHECKING; DATA STRUCTURE REPAIRS; GLOBAL PROPERTIES; KEY CHARACTERISTICS; LIKELY INVARIANTS; STANDALONE APPLICATIONS; STRUCTURAL INVARIANTS; STRUCTURALLY COMPLEX DATA; TEST GENERATIONS;

DATA STRUCTURES; ALGORITHMS;

EID: 37149024895     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71209-1_5     Document Type: Conference Paper

References (25)

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. Ittai Balaban, Amir Pnueli, and Lenore D. Zuck. Shape analysis by predicate abstraction. In Proc. 6th International Conference on Verification, Model Checking and Abstract Interpretation, Paris, France, 2005.
3. Kent Beck and Erich Gamma. Test infected: Programmers love writing tests. Java Report, 3(7), July 1998.
4. 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.
5. Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to Algorithms. The MIT Press, Cambridge, MA, 1990.
6. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proc. 5th Annual ACM Symposium on the Principles of Programming Languages (POPL), Tucson, Arizona, 1978.
7. Michael D. Ernst. Dynamically Discovering Likely Program Invariants. PhD thesis, University of Washington Department of Computer Science and Engineering, August 2000.
8. Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, and Raymie Stata. Extended static checking for Java. In Proc. ACM SIGPLAN 2002 Conference on Programming language design and implementation, 2002.
9. Steven M. German and Ben Wegbreit. A synthesizer of inductive assertions. IEEE Trans. Software Eng., 1(1), 1975.
10. Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In POPL '96: Proceedings of the 23rd ACM SIGPLANSIGACT symposium on Principles of programming languages, 1996.
11. Neelam Gupta and Zachary V. Heidepriem. A new structural coverage criterion for dynamic detection of program invariants. In Proc. 18th Conference on Automated Software Engineering (ASE), San Diego, CA, October 2003.
12. Sudheendra Hangal and Monica S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE '02: Proceedings of the 24th International Conference on Software Engineering, 2002.
13. Daniel Jackson. Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge, MA, 2006.
14. Daniel Jackson and Alan Fekete. Lightweight analysis of object interactions. In Proc. Fourth International Symposium on Theoretical Aspects of Computer Software, Sendai, Japan, October 2001.
15. Sarfraz Khurshid, Ivan Garcia, and Yuk Lai Suen. Repairing structurally complex data. In Proc. 12th SPIN Workshop on Software Model Checking, San Francisco, CA, 2005.
16. Sarfraz Khurshid, Muhammad Zubair Malik, and Engin Uzuncaova. An automated approach for writing Alloy specifications using instances. In 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus, 2006.
17. Gary T. Leavens, Albert L. Baker, and Clyde Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report TR 98-06i, Department of Computer Science, Iowa State University, June 1998.
18. Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, and Martin Rinard. Optimizations for compiling declarative models into boolean formulas. In 8th Intl. Conference on Theory and Applications of Satisfiability Testing (SAT), 2005.
19. Anders Moeller and Michael I. Schwartzbach. The pointer assertion logic engine. In Proc. SIGPLAN Conference on Programming Languages Design and Implementation, Snowbird, UT, June 2001.
20. Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems (TOPLAS), January 1998.
21. Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Manna. Non-linear loop invariant generation using groebner bases. In POPL '04: Proceedings of the 31st ACM SIGPLANSIGACT symposium on Principles of programming languages, 2004.
22. Mana Taghdiri. Inferring specifications to detect errors in code. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering, Washington, DC, 2004.
23. Ashish Tiwari, Harald Rue, Hassen Saidi, and Natarajan Shankar. A technique for invariant generation. In Proc. 7th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), London, UK, 2001.
24. M. Vaziri and G. Holzmann. Automatic detection of invariants in spin. In Proc. SPIN Workshop on Software Model Checking, November 1998.
25. John Whaley, Michael C. Martin, and Monica S. Lam. Automatic extraction of objectoriented component interfaces. In Proc. International Symposium on Software Testing and Analysis (ISSTA), July 2002.