Contract-based data structure repair using alloy

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

Volumn 6183 LNCS, Issue , 2010, Pages 577-598

  Nokhbeh Zaeem, Razieh ^a   Khurshid, Sarfraz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

Alloy; Data Structure Repair; Programming by Contract; Specifications

Indexed keywords

ALLOY ANALYZERS; BEHAVIORAL SPECIFICATION; CONTRACT SPECIFICATIONS; DEPLOYED SOFTWARE; MODELING LANGUAGES; NON-DETERMINISM; OBJECT-ORIENTED DESIGN; PERFORMANCE PENALTIES; PROGRAM STATE; RUNTIME CHECKING; SOFTWARE DEPLOYMENT;

ALLOYS; CERIUM ALLOYS; COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; LINGUISTICS; QUERY LANGUAGES; REPAIR; SOFTWARE RELIABILITY; SPECIFICATIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 77955037398     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14107-2_27     Document Type: Conference Paper

References (31)

1. Alloy home page, http://alloy.mit.edu
2. Antlr parser generator home page, http://www.antlr.org
3. Dacapo benchmarks home page, http://www.dacapobench.org
4. Ext2 fsck manual page, http://e2fsprogs.sourceforge.net
5. Jforge home page, http://sdg.csail.mit.edu/forge/plugin.html
6. Microsoft chkdsk manual page, http://support.microsoft.com/kb/315265
7. Sat4j home page, http://www.sat4j.org
8. Spec# home page, http://research.microsoft.com/en-us/projects/specsharp/
9. Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: Proc. International Symposium on Software Testing and Analysis, ISSTA (Jul 2002)
10. Bunke, H.: On a relation between graph edit distance and maximum common subgraph. Pattern Recognition Letters 18(9), 689-694 (1997)
11. Demsky, B.: Data Structure Repair Using Goal-Directed Reasoning. PhD thesis, Massachusetts Institute of Technology (January 2006)
12. Demsky, B., Rinard, M.: Automatic detection and repair of errors in data structures. In: Proc. Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA (2003)
13. Elkarablieh, B.: Assertion-based Repair of Complex Data Structures. PhD thesis, University of Texas at Austin (2009)
14. Haugk, G., Lax, F., Royer, R., Williams, J.: The 5ESS(TM) switching system: Maintenance capabilities. AT&T Technical Journal 64(6 part 2) (1985)
15. Jackson, D.: Alloy: A lightweight object modeling notation. ACM Transactions on Software Engineering and Methodology (TOSEM) 11(2) (April 2002)
16. Jackson, D.: Software Abstractions: Logic, Language and Analysis. MIT Press, Cambridge (2006)
17. Jackson, D., Fekete, A.: Lightweight analysis of object interactions. In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.2215, p. 492. Springer, Heidelberg (2001)
18. Khurshid, S.: Generating Structurally Complex Tests from Declarative Constraints. PhD thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology (December 2003)
19. Khurshid, S., García, I., Suen, Y.L.: Repairing structurally complex data. In: 12th SPIN Workshop on Model Checking of Software, San Francisco, CA (August 2005)
20. Khurshid, S., Marinov, D.: TestEra: Specification-based testing of Java programs using SAT. Automated Software Engineering Journal (2004)
21. Krishnamurthi, S., Fisler, K., Dougherty, D.J., Yoo, D.: Alchemy: Transmuting base alloy specifications into implementations. In: The 16th ACM SIGSOFT International Symposium on Foundations of software engineering, pp. 158-169. ACM, New York (2008)
22. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for Java. Technical Report TR 98-06i, Department of Computer Science, Iowa State University (1998)
23. Leavens, G.T., Baker, A.L., Ruby, C.: JML: a Java modeling language. In: Formal Underpinnings of Java Workshop (1998)
24. Liskov, B., Guttag, J.: Program Development in Java: Abstraction, Specification, and Object- Oriented Design. Addison-Wesley, Reading (2000)
25. Marinov, D., Khurshid, S.: TestEra: A novel framework for automated testing of Java programs. In: Proc. 16th Conference on Automated Software Engineering (ASE), San Diego, CA (November 2001)
26. Meyer, B.: Applying "design by contract". IEEE Computer 25(10), 40-51 (1992)
27. Mourad, S., Andrews, D.: On the reliability of the IBM MVS/XA operating system. IEEE Transactions on Software Engineering 13(10) (1987)
28. Sanfeliu, A., Fu, K.-S.: Distance measure between attributed relational graphs for pattern recognition. IEEE Trans. Systems, Man and Cybernetics 13(3), 353-362 (1983)
29. Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.4424, pp. 632-647. Springer, Heidelberg (2007)
30. Widom, J., Ceri, S.: Active database systems: Triggers and rules for advanced database processing. Morgan Kaufmann Pub., San Francisco (1996)
31. Zaeem, R.N., Khurshid, S.: Introducing Specification-Based Data Structure Repair Using Alloy. In: Proc. International Conference on ASM Alloy B and Z, Orford, Qúebec, Canada, pp. 398-399 (2010)