E-LIB Suche - Ergebnisse für: Sartaj, Hassan

1

Model‐based digital twins of medicine dispensers for health..:

Sartaj, Hassan ; Ali, Shaukat ; Yue, Tao.
Software: Practice and Experience. 54 (2024) 6 - p. 1172-1192 , 2024

2

Testing Real-World Healthcare IoT Application: Experiences ..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Sartaj, Hassan ; Ali, Shaukat ; Yue, Tao. - p. 2044-2049 , 2023

Link: https://dl.acm.org/doi/1..

3

Cost Reduction on Testing Evolving Cancer Registry System:

, In: 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME),

Isaku, Erblin ; Sartaj, Hassan ; Laaber, Christoph... - p. 508-518 , 2023

Link: https://doi.org/10.1109/..

4

Automated approach for system-level testing of unmanned aer..:

, In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering,

Sartaj, Hassan - p. 1069-1073 , 2021

Link: https://dl.acm.org/doi/1..

5

Testing cockpit display systems of aircraft using a model-b..:

Sartaj, Hassan ; Iqbal, Muhammad Zohaib ; Khan, Muhammad Uzair
Software and Systems Modeling. 20 (2021) 6 - p. 1977-2002 , 2021

Link: https://doi.org/10.1007/..

6

CDST: A Toolkit for Testing Cockpit Display Systems:

, In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),

Sartaj, Hassan ; Iqbal, Muhammad Zohaib ; Khan, Muhammad Uzair - p. 436-441 , 2020

Link: https://doi.org/10.1109/..

7

AspectOCL: using aspects to ease maintenance of evolving co..:

Khan, Muhammad Uzair ; Sartaj, Hassan ; Iqbal, Muhammad Zohaib..
Empirical Software Engineering. 24 (2019) 4 - p. 2674-2724 , 2019

Link: https://doi.org/10.1007/..

8

A Search-Based Approach to Generate MC/DC Test Data for OCL..:

, In: Search-Based Software Engineering; Lecture Notes in Computer Science,

Sartaj, Hassan ; Iqbal, Muhammad Zohaib ; Jilani, Atif Aftab Ahmed. - p. 105-120 , 2019

Link: https://doi.org/10.1007/..

9

Diabetes Insipidus in a Young Child:

Choh, Naseer A. ; Choh, Suhil A. ; Khanday, Rahil Y..
Journal of Pediatric Endocrinology and Metabolism. 23 (2010) 10 - p. , 2010

Link: https://doi.org/10.1515/..

10

Efficient Test Data Generation for MC/DC with OCL and Searc:

Sartaj, Hassan ; Iqbal, Muhammad Zohaib ; Jilani, Atif Aftab Ahmed.
http://arxiv.org/abs/2401.03469. , 2024

Link: http://arxiv.org/abs/240..

11

Cost Reduction on Testing Evolving Cancer Registry System:

Isaku, Erblin ; Sartaj, Hassan ; Laaber, Christoph...
http://arxiv.org/abs/2309.17038. , 2023

Link: http://arxiv.org/abs/230..

12

Testing Real-World Healthcare IoT Application: Experiences ..:

Sartaj, Hassan ; Ali, Shaukat ; Yue, Tao.
http://arxiv.org/abs/2309.04230. , 2023

Link: http://arxiv.org/abs/230..

13

Model-based Digital Twins of Medicine Dispensers for Health..:

Sartaj, Hassan ; Ali, Shaukat ; Yue, Tao.
http://arxiv.org/abs/2312.04662. , 2023

Link: http://arxiv.org/abs/231..

14

HITA: An Architecture for System-level Testing of Healthcar..:

Sartaj, Hassan ; Ali, Shaukat ; Yue, Tao.
http://arxiv.org/abs/2309.04223. , 2023

Link: http://arxiv.org/abs/230..

15

CDST: A Toolkit for Testing Cockpit Display Systems of Avio..:

Sartaj, Hassan ; Iqbal, Muhammad Zohaib ; Khan, Muhammad Uzair
http://arxiv.org/abs/2001.07869. , 2020

Link: http://arxiv.org/abs/200..