University of California, Santa Barbara

Department of Computer Science

VLab Dissertations

  • Muath Alkhalaf, Ph.D. 2014, Dissertation: "Automatic Detection and Repair of Input Validation and Sanitization Bugs." Defense presentation.
  • Jaideep Nijjar, Ph.D. 2014. Dissertation: "Analysis and Verification of Web Application Data Models."
  • Fang Yu, Ph.D. 2010. Dissertation: "Automatic Verification of String Manipulating Programs."
  • Graham Hughes, Ph.D. 2009. Dissertation: "Interface Grammars for Modular Software Verification."
  • Aysu Betin Can, Ph.D., 2005. Dissertation: "Design for Verification for Concurrent and Distributed Programs."
  • Constantinos Bartzis, Ph.D., 2004. Dissertation: "Symbolic Representations for Integer Sets in Automated Verification."
  • Xiang Fu, Ph.D., 2004. Dissertation: "Formal Specification and Verification of Asynchronously Communicating Web Services."
  • Tuba Yavuz-Kahveci, Ph.D., 2004. Dissertation: "Specification and Automated Verification of Concurrent Software Systems."

    VLab Publications

    2015

    • Ivan Bocic and Tevfik Bultan. "Efficient Data Model Verification with Many-Sorted Logic." To appear in the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015) November 9–13, 2015, Lincoln, Nebraska, USA.
    • Lucas Bang, Abdulbaki Aydin, and Tevfik Bultan. "Automatically Computing Path Complexity of Programs." To appear in the Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015).
    • Abdulbaki Aydin, Lucas Bang, and Tevfik Bultan. "Automata-based model counting for string constraints." To appear in the Proceedings of the 27th International Conference on Computer Aided Verification (CAV 2015), Technical Report 2015-03, CS, UCSB, 2015.
    • Ivan Bocic and Tevfik Bultan. "Coexecutability for Efficient Verification of Data Model Updates." To appear in the Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), Florence, Italy, May 16-24, 2015.
    • Ivan Bocic and Tevfik Bultan. "Data Model Bugs." Short paper. To appear in the Proceedings of the 7th NASA Formal Methods Symposium (NFM 2015), Pasadena, California, April 27-29, 2015.
    • Jaideep Nijjar, Ivan Bocic and Tevfik Bultan. "Data Model Property Inference, Verification and Repair for Web Applications." Accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM) .
    • Jian Lu, David S. Rosenblum, Tevfik Bultan, Valerie Issarny, Schahtam Dustdar, Margaret-Anne Storey, and Dongmei Zhang. "The Future of Software Engineering For Internet Computing." IEEE Software , pages 91-97, January/February 2015.

    2014

    2013

    2012

    2011

    2010

    2009

    2008

    2007

    2006

    2005

    2004

    2003

    2002

    2001

    • Giorgio Delzanno and Tevfik Bultan. "Constraint-based Verification of Client-Server Protocols." In Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming (CP 2001), T. Walsh ed., LNCS 2239, pp. 286-301, Springer, Paphos, Cyprus, November 26-December 1, 2001.
    • Tevfik Bultan and Tuba Yavuz-Kahveci. "Action Language Verifier." Short paper. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), pp. 382-386, Coronado Island, California, November 26-29, 2001.
    • Tuba Yavuz-Kahveci, Murat Tuncer, and Tevfik Bultan. "A Library for Composite Symbolic Representations." In Proceedings of the Seventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), Tiziana Margaria and Wang Yi, eds., LNCS 2031, pp. 52-66, Springer, Genova, Italy, April 2-6, 2001.
    • Xiang Fu, Tevfik Bultan, Richard Hull, and Jianwen Su. "Verification of Vortex Workflows." In Proceedings of the Seventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), Tiziana Margaria and Wang Yi, eds., LNCS 2031, pp. 143-157, Springer, Genova, Italy, April 2-6, 2001.
    • Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, and Richard A. Kemmerer. "Past Pushdown Timed Automata." In Proceedings of the Sixth International Conference on Implementation and Application of Automata (CIAA 2001). Bruce W. Watson and Derick Wood, eds., LNCS 2494, pp. 74-86, CIAA 2001, Pretoria, South Africa, July 23-25, 2001.
    • Oscar H. Ibarra, Tevfik Bultan, and Jianwen Su. "On Reachability and Safety in Infinite-State Systems." International Journal of Foundations of Computer Science (IJFCS), vol. 12, no. 6, pp. 821-836, December 2001.

    2000