Travelled to:1 × Canada
1 × Denmark
1 × France
1 × Italy
1 × Luxembourg
1 × New Zealand
1 × Spain
2 × United Kingdom
3 × Austria
5 × USA
Collaborated with:T.Yue L.C.Briand H.Hemmati S.Wang M.Zhang B.Selic S.Walawege A.Arcuri A.Gotlieb M.Liaaen M.U.Khan M.Z.Iqbal M.Z.Z.Iqbal H.Zhang C.Liu K.Nie L.Zhang Z.Fan H.Lu J.Nygård D.Buchmann D.Pradhan O.Okariz R.Norgren
Talks about:test (15) model (10) case (10) base (8) industri (7) system (6) support (5) studi (5) state (5) autom (5)
♂ Person: Shaukat Ali
DBLP: Ali:Shaukat
Facilitated 7 volumes:
PracticalTrackPrCoTuChPracticalTrackPrCoPrCoPrCo
PrCoContributed to:
2015
20152015
2015
2014
20142014
20142014201320132012201220112011
201020162016Wrote 21 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.
- ICSME-2014-KhanIA #approach #behaviour #heuristic #state machine #uml
- A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines (MUK, MZI, SA), pp. 557–560.
- ICST-2014-AliH #challenge #lessons learnt #modelling #testing #video
- Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results (SA, HH), pp. 353–362.
- ICTSS-2014-AliY #algorithm #constraints #normalisation #ocl
- Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints (SA, TY), pp. 17–31.
- SPLC-2014-WangBAGPL #case study #industrial #multi #product line #testing
- Multi-objective test prioritization in software product line testing: an industrial case study (SW, DB, SA, AG, DP, ML), pp. 32–41.
- 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.
- MoDELS-2013-WangGAL #automation #case study #feature model #industrial #testing #using
- Automated Test Case Selection Using Feature Model: An Industrial Case Study (SW, AG, SA, ML), pp. 237–253.
- 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-IqbalAYB #case study #experience #industrial #uml
- Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
- 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.
- MoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using
- An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
- FSE-2010-HemmatiBAA #approach #case study #industrial #modelling #testing
- An enhanced test case selection approach for model-based testing: an industrial case study (HH, LCB, AA, SA), pp. 267–276.
- 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.