المؤلفون: Raunak, M.S., Kuhn, D.R., Kacker, R.N., Lei, Y.

المصدر: IEEE Reliability Magazine IEEE Rel. Mag. Reliability Magazine, IEEE. 1(2):20-26 Jun, 2024

المؤلفون: Kuhn, D.R., Raunak, M.S., Kacker, R.N., Chandrasekaran, J., Lanus, E., Cody, T., Freeman, L., Michael, J.B.

المصدر: Computer. 57(5):86-90 May, 2024

المؤلفون: Khadka, Krishna, Chandrasekaran, Jaganmohan, Lei, Yu, Kacker, Raghu N., Richard Kuhn, D.

المصدر: 2024 IEEE/ACM 3rd International Conference on AI Engineering – Software Engineering for AI (CAIN) CAIN AI Engineering – Software Engineering for AI (CAIN), 2024 IEEE/ACM 3rd International Conference on. :140-149 Apr, 2024

Relation: 2024 IEEE/ACM 3rd International Conference on AI Engineering – Software Engineering for AI (CAIN)

المؤلفون: Dola, Swaroopa, McDaniel, Rory, Dwyer, Matthew B., Soffa, Mary Lou

المصدر: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2024 IEEE/ACM 46th International Conference on. :1446-1458 Apr, 2024

Relation: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)

المؤلفون: Torres Montiel, Eduard

المساهمون: University/Department: Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial

مرشدي الرسالة: Ansótegui Gil, Carlos José

المصدر: TDX (Tesis Doctorals en Xarxa)

مصطلحات موضوعية: Satisfactibilitat, Combinatorial Testing, Optimització, Satisfactibilidad, Optimización, Satisfiability, Optimization, Ciències de la Computació i Intel·ligència Artificial

وصف الملف: application/pdf

URL الوصول: http://hdl.handle.net/10803/687289

المؤلفون: Quigley, J.M.

المصدر: IEEE Reliability Magazine IEEE Rel. Mag. Reliability Magazine, IEEE. 1(1):30-36 Mar, 2024

المؤلفون: Raunak, M.S., Kuhn, D.R., Kacker, R.N., Lei, J.Y.

المصدر: IEEE Reliability Magazine IEEE Rel. Mag. Reliability Magazine, IEEE. 1(1):15-19 Mar, 2024

المؤلفون: Zhang, Shixin, Li, Shanna, Deng, Xi, Yan, Jiwei, Yan, Jun

المصدر: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :2070-2073 Sep, 2023

Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Wang, Xinyi, Arcaini, Paolo, Yue, Tao, Ali, Shaukat

المصدر: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :2066-2069 Sep, 2023

Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Koroglu, Yavuz, Wotawa, Franz

المصدر: 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) ASEW Automated Software Engineering Workshops (ASEW), 2023 38th IEEE/ACM International Conference on. :167-170 Sep, 2023

Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW)