by Fu, X., Bultan, T., Su, J.
Published in IEEE transactions on software engineering (01.12.2005)

by Bultan, T., Su, J., Fu, X.
Published in IEEE internet computing (01.01.2006)

by Hughes, G., Bultan, T.
Published in IEEE transactions on software engineering (01.09.2008)

by Betin-Can, A., Bultan, T.
Published in Automated Software Engineering: Proceedings of the 19th IEEE international conference on Automated software engineering; 20-24 Sept. 2004 (2004)

by Bultan, T., Yavuz-Kahveci, T.
Published in Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (2001)

by Bultan, Tevfik, Aykanat, Cevdet
Published in Neurocomputing (Amsterdam) (1995)

by Fu, Xiang, Bultan, Tevfik, Su, Jianwen
Published in Theoretical computer science (29.11.2004)

by Halle, S., Bultan, T., Hughes, G., Alkhalaf, M., Villemaire, R.
Published in Computer (Long Beach, Calif.) (01.03.2010)

by Yu, Fang, Alkhalaf, Muath, Bultan, Tevfik
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)

by Betin-Can, A., Bultan, T.
Published in IEEE International Conference on Web Services (ICWS'05) (2005)

by Xiang Fu, Bultan, T., Jianwen Su
Published in Proceedings. IEEE International Conference on Web Services, 2004 (2004)

by Alkhalaf, M., Bultan, T., Gallegos, J. L.
Published in 2012 34th International Conference on Software Engineering (ICSE) (01.06.2012)

by Bultan, Tevfik
Published in International Conference on Software Engineering: Proceedings of the 22nd international conference on Software engineering; 04-11 June 2000 (2000)

by Yavuz-Kahveci, T., Bultan, T.
Published in Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design (11.07.2005)

by Fang Yu, Alkhalaf, M., Bultan, T.
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)

by Shukla, S.K., Bultan, T., Heitmeyer, C.
Published in Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design (01.01.2004)

by Ibarra, Oscar H., Su, Jianwen, Dang, Zhe, Bultan, Tevfik, Kemmerer, Richard A.
Published in Theoretical computer science (23.10.2002)

by Yavuz-Kahveci, Tuba, Bartzis, Constantinos, Bultan, Tevfik
Published in Computer Aided Verification (2005)

by Bultan, T.
Published in 2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) (01.11.2006)

by Dang, Zhe, Bultan, Tevfik, H. Ibarra, Oscar, A. Kemmerer, Richard
Published in Theoretical computer science (16.02.2004)