Travelled to:1 × Austria
1 × Luxembourg
1 × Republic of China
1 × USA
1 × United Kingdom
2 × Canada
Collaborated with:R.Kacker D.R.Kuhn L.Yu W.W.Wilson S.P.Iyer M.P.Singh R.Kuhn T.Xie J.Lawrence C.Zhao K.Zhang J.Xu R.H.Carver D.C.Kung M.N.Borazjany M.N.Borazjany L.S.G.Ghandehari J.M.Higdon N.Li H.R.Khan J.Liu Y.Guo K.Shakya N.Li W.Wang S.Sampath
Talks about:combinatori (8) test (8) approach (3) generat (3) failur (2) combin (2) applic (2) induc (2) data (2) act (2)
Person: Yu Lei
DBLP: Lei:Yu
Contributed to:
201520132012
2012
2009
2009
20052005
2016Wrote 13 papers:
- ICST-2015-XuLCK #approach #bound #detection #lightweight #thread
- A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.
- ICST-2013-YuLBKK #algorithm #combinator #constraints #generative #performance #testing
- An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation (LY, YL, MNB, RK, DRK), pp. 242–251.
- ICST-2013-YuLKK #combinator #generative #named #testing
- ACTS: A Combinatorial Test Generation Tool (LY, YL, RK, DRK), pp. 370–375.
- ICST-2012-BorazjanyYLKK #case study #combinator #testing
- Combinatorial Testing of ACTS: A Case Study (MNB, LY, YL, RK, RK), pp. 591–600.
- ICST-2012-GhandehariLXKK #combinator #identification #testing
- Identifying Failure-Inducing Combinations in a Combinatorial Test Set (LSGG, YL, TX, DRK, RK), pp. 370–379.
- ICST-2012-KuhnHLKL #combinator #sequence #testing
- Combinatorial Methods for Event Sequence Testing (DRK, JMH, JL, RK, YL), pp. 601–609.
- ICST-2012-ShakyaXLLKK #classification #combinator #testing #using
- Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification (KS, TX, NL, YL, RK, DRK), pp. 620–623.
- SEKE-2012-WilsonL #metalanguage #specification
- A Tiny Specification Metalanguage (WWW, YL), pp. 486–490.
- ICSM-2009-WangLSKKL #approach #combinator #graph #navigation #web
- A combinatorial approach to building navigation graphs for dynamic web applications (WW, YL, SS, RK, RK, JL), pp. 211–220.
- SAC-2009-ZhaoZL #abstraction #multi #object-oriented #source code
- Abstraction of multiple executions of object-oriented programs (CZ, KZ, YL), pp. 549–550.
- FM-2005-LeiI #approach #communication #protocol
- An Approach to Unfolding Asynchronous Communication Protocols (YL, SPI), pp. 334–349.
- SEKE-2005-LeiS #evaluation #metamodelling
- An Evaluation of E-Business Metamodels (YL, MPS), pp. 88–93.
- ASE-2016-LiLKLG #big data #combinator #generative #testing
- Applying combinatorial test data generation to big data applications (NL, YL, HRK, JL, YG), pp. 637–647.