Information Technology Reference
In-Depth Information
7. Elkarablieh, B.: Assertion-based Repair of Complex Data Structures. PhD thesis, UT Austin
(2009)
8. Elkarablieh, B., Garcia, I., Suen, Y.L., Khurshid, S.: Assertion-based repair of complex data
structures. In: ASE (2007)
9. Elkarablieh, B., Khurshid, S.: Juzi: A tool for repairing complex data structures. In: ICSE
(2008)
10. Ext2 fsck. manual page,
http://e2fsprogs.sourceforge.net
11. Griesmayer, A., Bloem, R., Cook, B.: Repair of boolean programs with an application to
C. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 358-371. Springer,
Heidelberg (2006)
12. Haugk, G., Lax, F., Royer, R., Williams, J.: The 5ESS(TM) switching system: Maintenance
capabilities. AT&T Technical Journal 64(6 pt. 2), 1385-1416 (1985)
13. Hussain, I., Csallner, C.: Dynamic symbolic data structure repair. In: ICSE (2010)
14. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2006)
15. Jeffrey, D., Feng, M., Gupta, N., Gupta, R.: BugFix: a learning-based tool to assist developers
in fixing bugs. In: ICPC (2009)
16. Jobstmann, B., Griesmayer, A., Bloem, R.: Program repair as a game. In: Etessami, K., Ra-
jamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 226-238. Springer, Heidelberg (2005)
17. Khurshid, S., Garcıa, I., Suen, Y.L.: Repairing structurally complex data. In: Godefroid, P.
(ed.) SPIN 2005. LNCS, vol. 3639, pp. 123-138. Springer, Heidelberg (2005)
18. Liskov, B., Guttag, J.: Program Development in Java: Abstraction, Specification, and Object-
Oriented Design. Addison-Wesley (2000)
19. Malik, M.Z., Ghori, K., Elkarablieh, B., Khurshid, S.: A case for automated debugging using
data structure repair. In: ASE (2009)
20. Mayer, W., Stumptner, M.: Evaluating models for Model-Based debugging. In: ASE (2008)
21. Microsoft. chkdsk manual page,
http://support.microsoft.com/kb/315265
22. Mourad, S., Andrews, D.: On the reliability of the IBM MVS/XA operating system. IEEE
Transactions on Software Engineering 13(10), 1135-1139 (1987)
23. Nokhbeh Zaeem, R., Gopinath, D., Khurshid, S., McKinley, K.S.: History-aware data struc-
ture repair using SAT. In: Flanagan, C., Konig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp.
2-17. Springer, Heidelberg (2012)
24. Nokhbeh Zaeem, R., Khurshid, S.: Contract-Based Data Structure Repair Using Alloy. In:
D'Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 577-598. Springer, Heidelberg (2010)
25. Nokhbeh Zaeem, R., Khurshid, S.: Introducing Specification-Based Data Structure Repair
Using Alloy. In: Frappier, M., Gl¨asser,U.,Khurshid,S.,Laleau,R.,Reeves,S.(eds.)
ABZ 2010. LNCS, vol. 5977, pp. 398-399. Springer, Heidelberg (2010)
26. Rosenblum, D.S.: Towards a method of programming with assertions. In: ICSE (1992)
27. Samimi, H., Aung, E.D., Millstein, T.: Falling Back on Executable Specifications. In:
D'Hondt, T. (ed.) ECOOP 2010. LNCS, vol. 6183, pp. 552-576. Springer, Heidelberg (2010)
28. Staber, S., Jobstmann, B., Bloem, R.: Finding and fixing faults. In: Borrione, D., Paul, W.
(eds.) CHARME 2005. LNCS, vol. 3725, pp. 35-49. Springer, Heidelberg (2005)
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. Wei, Y., et al.: Automated fixing of programs with contracts. In: ISSTA (2010)
31. Weimer, W.: Patches as better bug reports. In: GPCE (2006)
