Travelled to:1 × Brazil
1 × Denmark
1 × Italy
1 × Luxembourg
1 × Portugal
1 × Spain
2 × France
2 × United Kingdom
3 × Austria
4 × USA
Collaborated with:S.Ali L.C.Briand R.Behjati B.Selic Y.Labiche S.Nejati L.Zhang Z.Fan M.Zhang S.Hesari S.Walawege M.Z.Z.Iqbal P.Scandurra A.Arnoldi M.Dolci H.Zhang C.Liu K.Nie A.Gotlieb D.Falessi M.Sabetzadeh S.Wang H.Lu J.Nygård O.Okariz R.Norgren
Talks about:model (14) test (9) base (9) system (8) case (8) support (6) autom (6) framework (5) state (5) use (5)
♂ Person: Tao Yue
DBLP: Yue:Tao
Facilitated 9 volumes:
PrCoDemoTrackChPrCoToChPrCoPracticalTrackPrCoContributed to:
2015
20152015
2015
2014
201420132013
2013
201320122012201220112010200920162016Wrote 24 papers:
- ICST-2015-AliY #behaviour #cyber-physical #evolution #modelling #named #nondeterminism #testing
- U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems (SA, TY), pp. 1–2.
- ISSTA-2015-YueAZ #automation #framework #generative #named #natural language #testing
- RTCM: a natural language based, automated, and practical test case generation framework (TY, SA, MZ), pp. 397–408.
- MoDELS-2015-AliY #formal method #standard #testing
- Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (SA, TY), pp. 396–405.
- SPLC-2015-YueAS #analysis #case study #cyber-physical #experience #product line
- Cyber-physical system product line engineering: comprehensive domain analysis and experience report (TY, SA, BS), pp. 338–347.
- ECMFA-2014-YueA #framework #metric #modelling #quality
- A MOF-Based Framework for Defining Metrics to Measure the Quality of Models (TY, SA), pp. 213–229.
- ICTSS-2014-AliY #algorithm #constraints #normalisation #ocl
- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints (SA, TY), pp. 17–31.
- ICST-2013-AliYB #empirical #quality #robust #state machine #testing
- Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment (SA, TY, LCB), pp. 212–221.
- MoDELS-2013-NieYAZF #automation #constraints #cyber-physical #named
- Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems (KN, TY, SA, LZ, ZF), pp. 370–387.
- RE-2013-HesariBY #challenge #framework #generative #industrial #testing #towards
- Towards a systematic requirement-based test generation framework: Industrial challenges and needs (SH, RB, TY), pp. 261–266.
- SAC-2013-FanYZ #architecture #framework #modelling #scalability
- A generic framework for deriving architecture modeling methods for large-scale software-intensive systems (ZF, TY, LZ), pp. 1750–1757.
- ECMFA-2012-BehjatiNYGB #automation #embedded #modelling
- Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.
- ECMFA-2012-YueA #case study #industrial #non-functional #requirements #state machine #testing
- Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies (TY, SA), pp. 133–145.
- MoDELS-2012-AliYBW #case study #industrial #modelling #product line #testing
- A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study (SA, TY, LCB, SW), pp. 726–742.
- MoDELS-2012-BehjatiYB #approach #modelling #reuse #similarity #using
- A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data (RB, TY, LCB), pp. 497–513.
- MoDELS-2012-BriandFNSY #modelling
- Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering (LCB, DF, SN, MS, TY), pp. 793–809.
- MoDELS-2012-IqbalAYB #case study #experience #industrial #uml
- Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
- SAC-2012-ScandurraAYD #case study #functional #modelling #requirements #state machine #validation
- Functional requirements validation by transforming use case models into Abstract State Machines (PS, AA, TY, MD), pp. 1063–1068.
- ECMFA-2011-BehjatiYNBS #architecture #concept #modelling
- Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling (RB, TY, SN, LCB, BS), pp. 236–252.
- ECMFA-2011-YueAB #automation #case study #state machine #testing #uml
- Automated Transition from Use Cases to UML State Machines to Support State-Based Testing (TY, SA, LCB), pp. 115–131.
- ECMFA-2010-YueBL #approach #automation #case study #diagrams #process
- An Automated Approach to Transform Use Cases into Activity Diagrams (TY, LCB, YL), pp. 337–353.
- MoDELS-2009-YueBL #analysis #approach #case study #concept #empirical #evaluation #modelling #towards
- A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation (TY, LCB, YL), pp. 484–498.
- ECMFA-2016-WangLYAN #automation #framework #modelling #named
- MBF4CR: A Model-Based Framework for Supporting an Automated Cancer Registry System (SW, HL, TY, SA, JN), pp. 191–204.
- ECMFA-2016-ZhangSAYON #comprehension #concept #cyber-physical #nondeterminism
- Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model (MZ, BS, SA, TY, OO, RN), pp. 247–264.
- MoDELS-2016-ZhangYAL #analysis #case study #mutation testing #towards
- Towards mutation analysis for use cases (HZ, TY, SA, CL), pp. 363–373.