Travelled to:1 × Austria
1 × Brazil
1 × Estonia
1 × United Kingdom
1 × Vietnam
2 × Canada
2 × France
3 × USA
Collaborated with:H.S.Hong R.M.Hierons H.Yenigün J.Chen G.Jourdan Z.Xu F.Zhang C.Williams B.Yang I.Lee O.Sokolsky Y.Chen R.L.Probert O.Henniger M.Lu S.D.Cha
Talks about:test (11) sequenc (7) check (7) generat (5) model (4) use (4) distribut (3) depend (3) flow (3) data (3)
Person: Hasan Ural
DBLP: Ural:Hasan
Facilitated 1 volumes:
EdContributed to:
2009
2008
2007
20072006200520042003
20032003
20021993Wrote 14 papers:
- SEFM-2009-HieronsJUY #adaptation #sequence #using
- Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences (RMH, GVJ, HU, HY), pp. 157–166.
- SAC-2008-HieronsJUY #adaptation #sequence #using
- Using adaptive distinguishing sequences in checking sequence constructions (RMH, GVJ, HU, HY), pp. 682–687.
- A-MOST-2007-ChenPU #analysis #dependence #generative #modelling #testing #using
- Model-based regression test suite generation using dependence analysis (YC, RLP, HU), pp. 54–62.
- TestCom-FATES-2007-UralX #approach #detection #fault
- An EFSM-Based Passive Fault Detection Approach (HU, ZX), pp. 335–350.
- TestCom-2006-ChenU #detection #distributed #problem #testing
- Detecting Observability Problems in Distributed Testing (JC, HU), pp. 213–226.
- TestCom-2006-UralZ #sequence
- Reducing the Lengths of Checking Sequences by Overlapping (HU, FZ), pp. 274–288.
- TestCom-2005-ChenHUY #sequence #testing
- Eliminating Redundant Tests in a Checking Sequence (JC, RMH, HU, HY), pp. 146–158.
- TestCom-2005-HongU #data flow #dependence #testing
- Dependence Testing: Extending Data Flow Testing with Control Dependence (HSH, HU), pp. 23–39.
- FATES-2004-HongU #cost analysis #generative #model checking #testing #using
- Using Model Checking for Reducing the Cost of Test Generation (HSH, HU), pp. 110–124.
- FATES-2003-HennigerLU #automation #distributed #generative #testing
- Automatic Generation of Test Purposes for Testing Distributed Systems (OH, ML, HU), pp. 178–191.
- ICSE-2003-HongCLSU #data flow #model checking #testing
- Data Flow Testing as Model Checking (HSH, SDC, IL, OS, HU), pp. 232–243.
- TestCom-2003-UralW #architecture #distributed #generative #sequence
- Generating Checking Sequences for a Distributed Test Architecture (HU, CW), pp. 146–162.
- TACAS-2002-HongLSU #generative #logic #test coverage
- A Temporal Logic Based Theory of Test Coverage and Generation (HSH, IL, OS, HU), pp. 327–341.
- ICSE-1993-UralY #data flow #modelling #representation
- Modeling Software for Accurate Data Flow Representation (HU, BY), pp. 277–286.