Search results

• 2024

  Automatic Summarization Evaluation: Methods and Practices

  Menendez, H. D. & Dakhama, A., 13 Oct 2024, (Accepted/In press) 36th International Conference on Testing Software and Systems: ICTSS 2024.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

  • Automatic Summarization 100%
  70 Downloads (Pure)

• Responsible MLOps Design Methodology for an Auditing System for AI-based Clinical Decision Support Systems.

  Barnard, P., Bautista, J. R., Dakhama, A., Farahi, A., Laos, K., Liu, A. & Menendez, H. D., 13 Oct 2024, (Accepted/In press) 36th International Conference on Testing Software and Systems.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

  • Clinical Decision Support System 100%
  • Artificial Intelligence 100%
  • Support System 100%
  • Life Cycle 50%
  • Informed Decision 20%
  40 Downloads (Pure)

• Search+LLM-based Testing for ARM Simulators

  Even-Mendoza, K., Menendez, H. D., Langdon, W. B., Dakhama, A., Petke, J. & Bruce, B. R., 27 Apr 2025, ICSE SEIP 2025. 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

  • Digital Circuit 100%
  • Hardware Architecture 100%
  • Infinite Number 100%
  46 Downloads (Pure)

• Summary of ObfSec: Measuring the security of obfuscations from a testing perspective.

  Menendez, H. D. & Suarez-Tangil, G., 13 Oct 2024, (Accepted/In press) 36th International Conference on Testing Software and Systems: ICTSS 2024.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  23 Downloads (Pure)
• 2023

  Detecting and Predicting Smart Car Collisions in Hybrid Environments from Sensor Data

  Menendez, H. D. & Kelly, D., Apr 2023, (Accepted/In press) WorldCist'23 - 11st World Conference on Information Systems and Technologies. Springer

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Sensor 100%
  • Collisions 100%
  • Accuracy 28%
  • Detection 14%
  • Events 14%
  29 Downloads (Pure)

• Dynamic Output State Classification for Quantum Computers

  Menendez, H. D., Bello, L. & Clark, D., 2023, (Accepted/In press) 4th International Workshop on Quantum Software Engineering (Q-SE 2023) at the International Conference of Software Engineering (ICSE) 2023.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

  • State Output 100%
  • Electronic Circuit 100%
  • Probability Theory 80%
  • Error 66%
  • Recalibration 66%
  163 Downloads (Pure)

• June: A Type Testability Transformation for Improved ATG Performance

  Bruce, D., Kelly, D., Menendez, H. D., Clark, D. & Barr, E., 18 Jul 2023, (Accepted/In press) The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  File
  106 Downloads (Pure)

• SearchGEM5: Towards Reliable gem5 with Search Based Software Testing and Large Language Models

  Dakhama, A., Even-Mendoza, K., Langdon, W. B., Menendez, H. D. & Petke, J., 8 Dec 2023, 15th Symposium on Search Based Software Engineering (SSBSE): Lecture Notes in Computer Science. United States: Springer, Vol. 15. 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

  • Software Testing 100%
  • Large Language Model 100%
  • Mutation Operator 50%
  • C Program 50%
  • Fuzzing 50%
  225 Downloads (Pure)

• Smartphones and Wristbands Detect Stress as Good as Intrusive Physiological Devices

  Bello-Orgaz, G. & Menendez, H. D., Apr 2023, (Accepted/In press) WorldCist'23 - 11st World Conference on Information Systems and Technologies. Springer

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Smartphones 100%
  • Smartphone 100%
  • Media 75%
  • Detection 50%
  • Accuracy 50%
  22 Downloads (Pure)

• StableYolo: Optimizing Image Generation for Large Language Models

  Berger, H., Dakhama, A., Ding, Z., Even-Mendoza, K., Kelly, D., Menendez, H. D., Moussa, R. & Sarro, F., 8 Dec 2023, Symposium on Search-Based Software Engineering (SSBSE) 2023. Springer, Vol. 14415. p. 133-139 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

  • Image Quality 100%
  • Image Synthesis 100%
  • Large Language Model 100%
  • User 50%
  • Evolutionary Computation 50%
  291 Downloads (Pure)
• 2022

  Ant colony optimization for software engineers

  Cavidia-Calderon, C. & Menéndez, H. D., 9 Jul 2022, GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 1527-1541 15 p. (GECCO 2022 Companion - Proceedings of the 2022 Genetic and Evolutionary Computation Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Foraging Behavior 100%
  • Ant Colonies 100%
  • Software Engineer 100%
  • Process Optimization 100%
  • Food Source 100%

• Measuring Machine Learning Robustness in front of Static and Dynamic Adversaries

  Menendez Benito, H., 1 Nov 2022, Measuring Machine Learning Robustness in front of Static and Dynamic Adversaries. IEEE 34rd International Conference on Tools with Artificial Intelligence (ICTAI)

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
  119 Downloads (Pure)