Shaukat Ali
TitoloCitata daAnno
A systematic review of the application and empirical investigation of search-based test case generation
S Ali, LC Briand, H Hemmati, RK Panesar-Walawege
Software Engineering, IEEE Transactions on 36 (6), 742-762, 2010
4282010
Generating Test Data from OCL Constraints with Search Techniques
S Ali, MZ Iqbal, A Arcuri, L Briand
IEEE Transactions on Software Engineering 39 (10), 1376 - 1402, 2013
160*2013
A state-based approach to integration testing based on UML models
S Ali, LC Briand, MJ Rehman, H Asghar, MZZ Iqbal, A Nadeem
Information and Software Technology 49 (11-12), 1087-1106, 2007
1352007
Minimizing test suites in software product lines using weight-based genetic algorithms
S Wang, S Ali, A Gotlieb
Proceedings of the 15th annual conference on Genetic and evolutionary …, 2013
892013
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems
S Ali, LC Briand, H Hemmati
Software & Systems Modeling 11 (4), 633-670, 2012
792012
A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering
S Wang, S Ali, T Yue, Y Li, M Liaaen
Proceedings of the 38th International Conference on Software Engineering …, 2016
722016
Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model
M Zhang, B Selic, S Ali, T Yue, O Okariz, R Norgren
ECMFA, 2016
692016
Cost-effective test suite minimization in product lines using search techniques
S Wang, S Ali, A Gotlieb
Journal of Systems and Software 103, 370-391, 2015
572015
Multi-objective test prioritization in software product line testing: an industrial case study
S Wang, D Buchmann, S Ali, A Gotlieb, D Pradhan, M Liaaen
Proceedings of the 18th International Software Product Line Conference …, 2014
552014
Automated transition from use cases to UML state machines to support state-based testing
T Yue, S Ali, L Briand
European Conference on Modelling Foundations and Applications, 115-131, 2011
552011
Experiences of applying UML/MARTE on three industrial projects
MZ Iqbal, S Ali, T Yue, L Briand
International Conference on Model Driven Engineering Languages and Systems …, 2012
432012
An enhanced test case selection approach for model-based testing: an industrial case study
H Hemmati, L Briand, A Arcuri, S Ali
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
402010
Model-Based Security Engineering for Cyber-Physical Systems: A Systematic Mapping Study
PH Nguyen, S Ali, T Yue
Information and Software Technology 83, 116-135, 2017
382017
Model transformations as a strategy to automate model-based testing-a tool and industrial case studies
S Ali, H Hemmati, NE Holt, E Arisholm, L Briand
Simula Research Laboratory, Technical Report (2010-01), 2010
382010
Automated discovery of state transitions and their functions in source code
N Walkinshaw, K Bogdanov, S Ali, M Holcombe
Software Testing, Verification and Reliability 18 (2), 99-121, 2008
382008
Enhancing test case prioritization in an industrial setting with resource awareness and multi-objective search
S Wang, S Ali, T Yue, Ø Bakkeli, M Liaaen
Proceedings of the 38th International Conference on Software Engineering …, 2016
352016
Constraints: The core of supporting automated product configuration of cyber-physical systems
K Nie, T Yue, S Ali, L Zhang, Z Fan
International Conference on Model Driven Engineering Languages and Systems …, 2013
342013
Does aspect-oriented modeling help improve the readability of UML state machines?
S Ali, T Yue, LC Briand
Software and Systems Modeling, 1-33, 2011
27*2011
U-test: Evolving, modelling and testing realistic uncertain behaviours of cyber-physical systems
S Ali, T Yue
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
262015
Automated test case selection using feature model: an industrial case study
S Wang, A Gotlieb, S Ali, M Liaaen
International Conference on Model Driven Engineering Languages and Systems …, 2013
262013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20