- In Refereed Journals (Since 2000)
- Jourdan, G.-V., Ural, H., and Yenigun, H., "Reduced checking sequences using unreliable reset", Information Processing Letters, Vol.115, No.5, 2015, pp.532-535. DOI: 10.1016/j.ipl.2015.01.002.(pdf)
- Ural, H., Zhang, F., and Zhang, J.C., "Effects of overlapping subsequences in constructing checking sequences", Invited paper, Journal of Advances in Information Sciences, Vol.1, No.1, 2013, pp. 59-73.(pdf)
- Ural, H., and Yenigun, H., "Regression test suite selection using dependence analysis", Journal of Software: Evolution and Process, Vol.25, No.7, 2013, pp.681-709.(pdf)
- Luo, H., Masud, M., and Ural, H., "Detecting offline transaction concurrency problems", Journal of Software, Vol.7, No.8, 2012, pp.1855-1860. (pdf)
- Tahat, L. H., Bogdan, K., Harman, M., and Ural, H., "Regression Test Suite Prioritization Using System Models", Software Testing, Verification, and Reliability, Vol.22, 2012, pp.481-506. (pdf)
- Jourdan, G.-V., Ural, H., Yenigun, H., and Zhang, J. C., "Lower bounds on lengths of checking sequences", Formal Aspects of Computing, Vol.22, No.6, 2010, pp.667-679. (pdf)
- Hierons, R. M., and Ural, H., "Generating a checking sequence with a minimu
m number of reset transitions" Journal of Automated Software Engineering, Vol.17
, No.3, 2010, pp.217-250. (pdf)
- Chen, Y-P., Probert, R., and Ural, H., "Regression test suite reduction based on SDL models of system requirements", Journal of Software Maintenance and Evolution, Vol.21, No.6, 2009, pp.379-405. (pdf)
- Masud, M., Kiringa, I., and Ural, H., "Update processing in instance-mapped P2P data sharing systems", Journal of Cooperative Information Systems, Vol.18, No.3-4, 2009, pp.339-379. (pdf)
- Hierons, R. M., and Ural, H., "Overcoming controllability problems with fewest channels between testers", Computer Networks, Vol.53, No.5, 2009, pp.680-690. (pdf)
- Hierons, R. M., and Ural, H., "Correction to reduced length checking sequences", IEEE Transactions on Computers, Vol.58, No.2, 2009, pp.287. (pdf)
- Hierons, R. M., and Ural, H., "Checking sequences for distributed
test architectures", Distributed Computing, Vol.21, 2008, pp.223-238.
(pdf)
- Hierons, R. M., and Ural, H., "The effect of the distributed
test architecture on the power of testing", The Computer Journal,
Vol.51 No.4, 2008, pp.497-510.
(pdf)
- Hierons, R. M., and Ural, H., "Reducing the cost of applying
adaptive test sequences", Computer Networks, Vol.51, No.1, 2007,
pp.224-238.(pdf)
- Chen, X. J., Hierons, R. M., and Ural, H., "Overcoming
observability problems in distributed test architectures", Information
Processing Letters, Vol.98, No.5, 2006, pp.177-182.(pdf)
- Hierons, R. M., and Ural, H., "Optimizing the length of
checking sequences", IEEE Transactions on Computers, Vol.55, No.5,
2006, pp.618-629.(pdf)
- Ural, H., and Zhu, K., "Distributed delay
constrained multicast routing algorithm with efficient fault
recovery", Networks, Vol.47, No.1, 2006, pp.37-51.(pdf)
- Ural, H., and Williams, C., "Constructing checking sequences
for distributed testing", Formal Aspects of Computing, Vol.18, No.1,
2006, pp.84-101.(pdf)
- Jourdan, G-V, Ural, H., and Zaguia, N., "Minimizing the
number of inputs while applying adaptive tests", Information Processing
Letters, Vol.94, No.4, 2005, pp.165-169.(pdf)
- Hierons, R. M., Kim, T.-H., and Ural, H., "On the
testability of SDL specifications", Computer Networks, Vol.44, No.5,
2004, pp.681-700.(pdf)
- Hierons, R. M., and Ural, H., "UIO sequence based checking sequences for
distributed test architectures",
Information and Software Technology, Vol.45, 2003, pp.793-803.(pdf)
- Ural, H., and Whittier, D., "Distributed testing without encountering
controllability and observability problems", Information Processing Letters,
Vol.88, No.3, 2003, pp.133-141.(pdf)
- Hierons, R. M., and Ural, H., "Reduced length checking sequences",
IEEE Transactions on Computers, Vol.51, No.9, 2002, pp.1111-1117.(pdf)
- Chen, X. J., and Ural, H., "Construction of deadlock-free designs of communication protocols from observations",
The Computer Journal, Vol.45, No.2, 2002, pp.162-173.(pdf)
- Probert, R. L., Ural, H., and Williams, A., "Experience with rapid generation of functional tests using MSCs, SDL, and TTCN",
Computer Communications, Vol.24, No.3, 2001, pp.374-393.(pdf)
- Hong, H. S., and Ural, H., "A test sequence selection method for statecharts",
Software Testing, Verification, and Reliability, Vol.10, No.4, 2000, pp.203-227.(pdf)
- Saleh, K., Ural, H., and Williams, A., "Test generation based
on control and data dependencies within system specifications in SDL",
Computer Communications, Vol.23, No.7, 2000, pp.609-627.(pdf)
- In Proceedings of Refereed Conferences (Since 2000)
- Jourdan, G-V., Ural, H., and Yenigun, H.,"Reducing locating sequences for testing from finite state machines", Proc. of ACM-SAC 2016, Software Verification and Testing, Pisa, Italy, Apr. 2016, pp.1654-1659. DOI: 10.1145/2851613.2851831.
- Ural, H., and Yenigun, H., "On capturing effects of modifications as data dependencies", Proc. of COMPSAC 2012, Izmir, TR, July 2012. DOI: 10.1109/COMPSAC.2012.50
- Gunicen, C., Turker, U.C., Ural, H., and Yenigun, H., "Generating preset distinguishing sequences using SAT", Proc. of ISCIS'11, London, UK, Sept. 2011. DOI: 10.1007/978-1-4471-2155-8_62.
- Ural, H., and Yenigun, H., "Dependence analysis for regression test suite selection and augmentation", Proc. of ISCIS'10, London, UK, Sept. 2010, pp.143-148 (LNEE 62, 2010).
- Hierons, R. M., Jourdan, G-V., Ural, H., and Yenigun, H., "Checking sequence construction using adaptive and preset distinguishing sequences", Proc. of IEEE SEFM'09, Hanoi, Vietnam, Nov. 2009, pp.157-168.
- Jourdan, G-V., Ural, H., Yenigun, H., and Zhu, D., "Using a SAT solver to generate checking sequences", Proc. of ISCIS'09, Northern Cyprus, Sept. 2009, pp.549-554.
-
Jourdan, G.-V., Ural, H., and Yenigun, H., "Combining Adaptive Tests", Proc. of ISCIS'08, Istanbul, Turkey, Oct. 27-29, 2008.
- Hierons, R. M., Jourdan, G.-V., Ural, H., and Yenigun, H., "Using
adaptive distinguishing sequences in checking sequence constructions",
Proc. of ACM SAC-SE'08, Fortelaza, Ceara, Brazil, Mar. 2008,
pp.682-687.(pdf)
- Chen, Y., Probert, R. L., and Ural, H., "Regression test
suite reduction using extended dependence analysis", Proc. of ACM
ESEC/FSE(SOQUA)'07, Dubrovnik, Croatia, Sep. 2007, pp.62-69.(pdf)
- Chen, Y., Probert, R. L., and Ural, H., "Model-based
regression test suite generation using dependence analysis", Proc. of
ACM ISSTA(AMOST)'07, London, UK., July 2007, pp.54-63.(pdf)
- Ural, H., Xu, Z., and Zhang, F., "An improved approach to
passive testing of FSM-based Systems", Proc. of IEEE ICSE(AST)'07, Minneapolis, MN, May 2007.(pdf)
- Ural, H., and Xu, Z., "An EFSM-based passive fault detection
approach", Proc. of IFIP TestCom/Fates'07, Tallinn, Estonia, June 2007, pp.335-350. (LNCS 4581).(pdf)
- Jourdan, G.-V., Ural, H., S. Wang, and Yenigun, H.,
"Recovering repetitive sub-functions from observations", Proc. of IFIP
FORTE'07, Tallinn, Estonia, June 2007, pp.35-49.(LNCS 4574).(pdf)
- Jourdan, G.-V., Ritthiruangdech, P., and Ural, H., "Test
suite reduction based on dependence analysis", Proc. of ISCIS'06,
Istanbul, Turkey, Nov. 2006, pp.1021-1030. (LNCS 4263).(pdf)
- Chen, X. J., Jourdan, G.-V., Wenxin, M., and Ural, H.,
"Improving coverage of functional testing", Proc. of IEEE QSIC'06,
Beijing, China, Oct. 2006, pp.99-106.(pdf)
- Jourdan, G.-V., Ural, H., and Yenigun, H., "Minimizing
coordination channels in distributed testing", Proc. of IFIP FORTE'06,
Paris, France, Sept. 2006, pp.451-466. (LNCS 4229).(pdf)
- Ural, H., and Zhang, F., "Reducing the lengths of checking
sequences by overlapping", Proc. of IFIP TestCom'06, New York, NY, May
2006, pp.274-288. (LNCS 3964).(pdf)
- Chen, X. J., and Ural, H., "Detecting observability problems
in distributed testing", Proc. of IFIP TestCom'06, New York, NY, May
2006, pp.213-226. (LNCS 3964).(pdf)
- Jourdan, G.-V., Ural, H., and Yenigun, H., "Recovering the
lattice of repetitive sub-functions", Proc. of ISCIS'05, Istanbul,
Turkey, Oct. 2005, pp.956-965. (LNCS 3733).(pdf)
- Chen, X. J.., Hierons, R. M., and Ural, H., "Resolving
observability problems in distributed test architecture", Proc. of IFIP
FORTE'05, Taipei, Taiwan, Oct. 2005, pp.219-232. (LNCS 3731).(pdf)
- Tekle, K. T., Ural, H., M. Yalcin, C., and Yenigun, H.,
"Generalizing redundancy elimination in checking sequences", Proc. of
ISCIS'05, Istanbul, Turkey, Oct. 2005, pp.915-926. (LNCS 3733).(pdf)
- Hong, H. S., and Ural, H., "Dependence Testing: Extending
data flow testing with control dependence", Proc. of IFIP TestCom'05,
Montreal, Quebec, May 2005, pp.23-39. (LNCS 3502).(pdf)
- Chen, X. J.., Hierons, H., Ural, H., and Yenigun, H.,
"Eliminating redundant tests in checking sequences", Proc. of IFIP
TestCom'05, Montreal, Quebec, May 2005, pp.146-158. (LNCS 3502).(pdf)
- Hong, H. S., and Ural, H., "Using model checking for
reducing the cost of test generation", Proc. of FATES'04, Linz,
Austria, Sept. 2004, pp.110-124. (LNCS 3395).(pdf)
- Ural, H,. and Yenigun, H., "Towards design recovery from
observations", Proc. of IFIP FORTE'04, Madrid, Spain, Sept. 2004,
pp.133-149. (LNCS 3235).(pdf)
- Chen, J., Hierons, R. M., and Ural, H., "Conditions for
resolving observability problems in distributed testing", Proc. of IFIP
FORTE'04, Madrid, Spain, Sept. 2004, pp.229-242. (LNCS 3235).(pdf)
- Henniger, O., Lu, M., and Ural, H., "Automatic generation
of test purposes for testing distributed systems", Proc. of FATES'03,
Montreal, Quebec, Oct. 2003, pp.178-191. (LNCS 2931).(pdf)
- Hierons, R. M., and Ural, H., "Concerning the ordering of
adaptive test sequences", Proc. of IFIP FORTE'03, Berlin, Germany, Oct.
2003, pp.289-302. (LNCS 2767).(pdf)
- Hong, H. S., Lee, I., Sokolsky, O., and Ural, H., "Data flow
testing as model checking", Proc. of IEEE ICSE'03, Portland, Oregon,
May 2003, pp.232-242.(pdf)
- Ural, H., and Williams, C., "Generating checking sequences
for a distributed test architecture", Proc. of IFIP TestCom'03, Sophia
Antipolis, France, May 2003, pp.146-162. (LNCS 2644).(pdf)
- Hierons, R. M., Kim, T.-H., and Ural, H., "Expanding an extended finite state machine to aid testability",
Proc. of IEEE COMPSAC'02, Oxford, England, Aug. 2002, pp.334-339.(pdf)
- Hong, H. S., Lee, I., Sokolsky, O., and Ural, H., "A temporal logic based theory of test coverage and generation",
Proc. of TACAS'02, Grenoble, France, June 2002, pp.327-341.(pdf)
- Ural, H., and Zhu, K., "Fault recovery for a distributed SP-based delay constrained multicast routing algorithm",
Proc. of IEEE IPDPS'02, Fort Lauderdale, Florida, Apr. 2002, pp.242-251.(pdf)
- Ural, H., and Zhu, K., "An efficient distributed QoS-based
multicast routing algorithm", Proc. of IEEE IPCCC'02, Phoenix, Arizona,
Apr. 2002, pp.27-36.(pdf)
- Hierons, R. M., and Ural, H., "UIO sequence based checking
sequences for distributed test architectures", Proc. of CPWCSE'01,
Montreal, Quebec, Sept. 2001.(pdf)
- Ural, H., and Zhu, K., "Fault recovery for a distributed
QoS-based multicast routing algorithm", Proc. of IEEE ICCNMC'01,
Beijing, PRC, Oct. 2001, pp.396-403.(pdf)
- Chen, X. J., and Ural, H., "Automated recovery of protocol
designs from execution histories", Proc. of SCI'01, Orlando, Florida,
July 2001, pp.103-108.(pdf)
- Henniger, O., and Ural, H., "Test generation based on control and data dependencies within multi-processs SDL specifications",
Proc. of IFIP SAM'00, Grenoble, France, June 2000, pp.189-202.(pdf)
- Other
- Chen, J., Hierons, R. M., and Ural, H., "Testing in the
Distributed Test Architecture", Formal Methods and Testing, LNCS 4949,
2008, pp.157-183.
- Ural, H., Probert, R. L., and Bochmann, Gregor von, (eds.),
Testing of Communicating Systems, IFIP, Kluwer Academic Press, 2000
(322 pages).
- Ural, H., (ed.), Network Protocols, IEEE, Computer Society Press, 1996 (276 pages).
- Logrippo, L., Probert, R. L., and Ural, H., (eds.), Protocol
Specification, Testing and Verification X, IFIP, North Holland, 1991
(415 pages).
- Logrippo, L., Probert, R. L., and Ural, H., (eds.), Special
Issue on Protocol Specification, Testing and Verification, Computer
Networks, 1992.