Suchergebnisse - "Software testing and debugging"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the ACM on Human-Computer Interaction, Vol. 9, no.4, p. 25 (2025)
Schlagwörter: Gestural input, Software testing and debugging, Software verification, Human-centered computing, Graphical user interfaces, Touch screens, User interface programming, Acceptance testing
Zugangs-URL: https://hdl.handle.net/2078.1/301644
-
2
-
3
Autoren:
Quelle: Empirical Software Engineering. 30
-
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. :920-931
Schlagwörter: CCS Concepts, critical software system, • Applied computing → Avionics, physical system, software reliability, [INFO] Computer Science [cs], automated testing, genetic algorithms, diversity, Computer systems organization → Reliability, evolutionary strategies, • Software and its engineering → Software testing and debugging Reinforcement learning, intrinsic motivation, • Computing methodologies → Reinforcement learning
Dateibeschreibung: application/pdf
-
5
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering. :507-511
Schlagwörter: Software engineering, Polyglot programming, Software testing and debugging, Software development techniques, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO] Computer Science [cs], Interoperability, White box testing, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Dateibeschreibung: application/pdf
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM Transactions on Software Engineering and Methodology. 33:1-25
Schlagwörter: Networking and Internet Architecture (cs.NI), FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Cryptography and Security, software testing and debugging, Software engineering, 02 engineering and technology, Machine Learning (cs.LG), Computer Science - Networking and Internet Architecture, Software Engineering (cs.SE), Computer Science - Software Engineering, software and its engineering, programmable networks, network, 0202 electrical engineering, electronic engineering, information engineering, Cryptography and Security (cs.CR)
Dateibeschreibung: application/pdf
-
7
Autoren: et al.
Quelle: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :68-80
Schlagwörter: Artificial Intelligence and Robotics, Software testing and debugging, Deep learning, Software defect analysis, Neural networks
Dateibeschreibung: application/pdf
-
8
Autoren: et al.
Quelle: ACM Transactions on Software Engineering and Methodology. 33:1-24
Schlagwörter: Software verification and validation, Databases and Information Systems, 02 engineering and technology, Software creation and management, 16. Peace & justice, Software defect analysis, Computing methodologies, Machine learning approaches, Software testing and debugging, Machine learning, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, 10. No inequality, Neural networks
Dateibeschreibung: application/pdf
-
9
Autoren: et al.
Quelle: Varshosaz, M, Ghaffari, M, Broch Johnsen, E & Wasowski, A 2023, 'Formal Specification and Testing for Reinforcement Learning', Proceedings of the ACM on Programming Languages, vol. 7, no. Issue ICFP, 193, pp. 125-158. https://doi.org/10.1145/3607835
Schlagwörter: Program specifications, Software testing and debugging, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Theory of computation
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Quelle: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis. :677-689
Schlagwörter: Software verification and validation, Software testing and debugging, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Software Engineering, 02 engineering and technology, Software creation and management, Software defect analysis
Dateibeschreibung: application/pdf
-
11
Autoren:
Quelle: ACM Transactions on Software Engineering and Methodology. 32:1-32
Schlagwörter: formal concept analysis, software testing and debugging, software and its engineering, program analysis, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, unit testing, theory of computation
Dateibeschreibung: application/pdf
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Lecture Notes in Computer Science ISBN: 9783031626449
Lecture Notes in Computer Science, Vol. 14678, no.2024, p. 177-196 (2024)Schlagwörter: Computer Science - Symbolic Computation, Networking and Internet Architecture (cs.NI), FOS: Computer and information sciences, Formal Specifications, Software verification and validation, Computer Science - Cryptography and Security, Model-Based Testing, Network Simulator, Adverse Stimuli, 0211 other engineering and technologies, 02 engineering and technology, Symbolic Computation (cs.SC), Concrete Implementation, Time-varying Network Properties, Computer Science - Networking and Internet Architecture, Software Engineering (cs.SE), Computer Science - Software Engineering, Software testing and debugging, 0202 electrical engineering, electronic engineering, information engineering, Safety Properties, Networks, Internet protocols, Cryptography and Security (cs.CR)
-
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Digital.CSIC. Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)Schlagwörter: Software testing and debugging, Functional languages, Formal software verification: Automated static analysis, Software design techniques
Zugangs-URL: http://hdl.handle.net/10261/351580
-
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the ACM on Human-Computer Interaction, Vol. 6, no.173, p. 38 (2022)
Schlagwörter: Usability testing, Systems and tools for interaction design, Software testing and debugging, User interface toolkits, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, Ubiquitous and mobile computing systems and tools, 0501 psychology and cognitive sciences, 02 engineering and technology, Interactive systems and tools, Acceptance testing
Zugangs-URL: https://hdl.handle.net/2078.1/260650
-
15
Autoren: et al.
Quelle: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. :361-373
Schlagwörter: Software testing and debugging, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Software Engineering, 02 engineering and technology
Dateibeschreibung: application/pdf
-
16
Autoren:
Weitere Verfasser:
Quelle: Proceedings of the ACM on Human-Computer Interaction, Vol. 5, no.EICS, p. 1-31 (2021)
Schlagwörter: Usability testing, Systems and tools for interaction design, Software testing and debugging, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, Ubiquitous and mobile computing systems and tools, 0501 psychology and cognitive sciences, 02 engineering and technology, Graphical user interface languages
-
17
Autoren:
Quelle: Proceedings of the 11th International Workshop on Search-Based Software Testing. :6-12
Schlagwörter: Software testing and debugging, Software and its engineering, Software reliability, Software testing and debugging, Search-based software engineering, Software and its engineering, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Software reliability, Search-based software engineering, 12. Responsible consumption
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER). :479-490
Schlagwörter: Software Engineering (cs.SE), FOS: Computer and information sciences, program repair, Computer Science - Software Engineering, software testing and debugging, language models, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, deep learning, 02 engineering and technology, neural networks, code clones
Dateibeschreibung: application/pdf
Zugangs-URL: http://arxiv.org/pdf/1707.04742
http://arxiv.org/abs/1707.04742
https://hal.science/hal-01581170v1
https://hal.science/hal-01581170v1/document
https://arxiv.org/pdf/1707.04742
https://arxiv.org/abs/1707.04742
https://www.microsoft.com/en-us/research/publication/sorting-and-transforming-program-repair-ingredients-via-deep-learning-code-similarities/
https://hal.archives-ouvertes.fr/hal-01581170
https://ui.adsabs.harvard.edu/abs/2017arXiv170704742W/abstract
https://arxiv.org/abs/1707.04742
https://dblp.uni-trier.de/db/journals/corr/corr1707.html#WhiteTMMP17
http://www.diva-portal.org/smash/record.jsf?pid=diva2:1323003 -
19
Autoren: et al.
Quelle: Scopus
RUO. Repositorio Institucional de la Universidad de Oviedo
instname
Universidad de Oviedo (UNIOVI)
WEBIST 2019 : 14th International Conference on Web Information Systems and Technologies, pp. 454–461, Vienna, Austria, 18-29/09/2019
info:cnr-pdr/source/autori:Moran J.; Augusto C.; Bertolino A.; De La Riva C.; Tuya J./congresso_nome:WEBIST 2019 : 14th International Conference on Web Information Systems and Technologies/congresso_luogo:Vienna, Austria/congresso_data:18-29%2F09%2F2019/anno:2019/pagina_da:454/pagina_a:461/intervallo_pagine:454–461Schlagwörter: Spectrum-based localization, Software testing and debugging, Web applications, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Test flakiness
Dateibeschreibung: application/pdf
-
20
Autoren:
Weitere Verfasser:
Schlagwörter: Software and its engineering → Software testing and debugging, Determinism, Software and its engineering → Software verification and validation, Software and its engineering → Software notations and tools, Race detection, ddc:004, Determinacy-race, Software and its engineering → Software creation and management, Software and its engineering → Software defect analysis, Promise, Software and its engineering → Concurrent programming languages, Software and its engineering → General programming languages
Dateibeschreibung: application/pdf
Full Text Finder 
Nájsť tento článok vo Web of Science