Suchergebnisse - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing AND Debugging*"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: IEEE Transactions on Parallel and Distributed Systems. 33:1464-1477
Schlagwörter: [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-NI] Computer Science [cs]/Networking and Internet Architecture [cs.NI], ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Experiment-driven research, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, 02 engineering and technology, Distributed computing experimentation library, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, Parallel, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], and Cluster Computing [cs.DC], ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.2: Installation Management/K.6.2.3: Performance and usage measurement, Performance evaluation, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.4: Systems and Software/H.3.4.3: Performance evaluation (efficiency and effectiveness)
Dateibeschreibung: application/pdf
Zugangs-URL: https://hal.inria.fr/hal-03324177/file/tpds-enoslib-preprint.pdf
http://ieeexplore.ieee.org/document/9534688
https://hal.inria.fr/hal-03324177
https://www.computer.org/csdl/journal/td/5555/01/09534688/1wLblAxTkxq
https://ieeexplore.ieee.org/document/9534688
https://hal.inria.fr/hal-03324177/document
https://hal.archives-ouvertes.fr/hal-03324177v1 -
2
Autoren: et al.
Weitere Verfasser: et al.
Quelle: SLE 2021 - 14th International Conference on Software Language Engineering ; https://inria.hal.science/hal-03358061 ; SLE 2021 - 14th International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486906⟩
Schlagwörter: executable DSLs, runtime monitoring, logging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geographisches Schlagwort: Chicago, United States
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 2nd ACM/IEEE International Conference on Automation of Software Test AST 2021
https://cea.hal.science/cea-03224561
2nd ACM/IEEE International Conference on Automation of Software Test AST 2021, May 2021, Madrid, SpainSchlagwörter: concolic, reachability, branch coverage, automatic test generation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.7: Symbolic execution, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geographisches Schlagwort: Spain
Time: Madrid, Spain
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2105.05517; ARXIV: 2105.05517
-
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: JOBIM ; https://uca.hal.science/hal-03716631 ; JOBIM, Jul 2022, Rennes, France. ; https://jobim2022.sciencesconf.org/
Schlagwörter: molecular dynamics, aquaporins, galaxy, workflow, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BBM.BS]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Structural Biology [q-bio.BM], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-WB]Computer Science [cs]/Web
Relation: hal-03716631; https://uca.hal.science/hal-03716631; https://uca.hal.science/hal-03716631/document; https://uca.hal.science/hal-03716631/file/poster_JOBIM2022_AE_Petit.pdf
-
5
Autoren: et al.
Weitere Verfasser: et al.
Quelle: JDEV ; https://hal.science/hal-02899373 ; JDEV, Jul 2020, RENNES, France
Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.1: Integrated environments, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.2: Life cycle, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.7: Software quality assurance (SQA), [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: SANER 2021 - 28th IEEE International Conference on Software Analysis, Evolution and Reengineering ; https://hal.science/hal-03447628 ; SANER 2021 - 28th IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2021, Honolulu / Virtual, United States. pp.131-141, ⟨10.1109/SANER50967.2021.00021⟩ ; https://saner2021.shidler.hawaii.edu
Schlagwörter: binary code analysis, graph neural networks, toolchain provenance, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement/D.2.7.5: Restructuring, reverse engineering, and reengineering, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]
Geographisches Schlagwort: Honolulu / Virtual, United States
Relation: info:eu-repo/grantAgreement//830927/EU/Cyber security cOmpeteNCe fOr Research anD InnovAtion/CONCORDIA
-
7
Autoren: et al.
Weitere Verfasser: et al.
Quelle: MLPA 2020 - Machine Learning for Program Analysis ; https://hal.science/hal-03270335 ; MLPA 2020 - Machine Learning for Program Analysis, Jan 2021, Yokohama / Virtual, Japan ; https://sites.google.com/view/mlpa2020
Schlagwörter: toolchain provenance, machine learning, reverse engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement/D.2.7.5: Restructuring, and reengineering, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]
Geographisches Schlagwort: Yokohama / Virtual, Japan
-
8
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS)
https://laas.hal.science/hal-03435959
21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩Schlagwörter: test, test input generation, fuzzing, autonomous robots, simulation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO]Computer Science [cs]
Geographisches Schlagwort: Hanan Island, China
Relation: info:eu-repo/grantAgreement//812.788/EU/Safer Autonomous Systems/SAS
-
9
Autoren: et al.
Weitere Verfasser: et al.
Quelle: IEEE Design & Test. 35:31-37
Schlagwörter: formal methods, real-time testing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, 0102 computer and information sciences, 02 engineering and technology, 7. Clean energy, 01 natural sciences, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, model-based testing, real-time systems, runtime enforcement, parametric timed model, 13. Climate action, RTOS, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Zugangs-URL: https://hal.archives-ouvertes.fr/hal-01713193/file/DT_DTSI-2017-03-0068.R1_Faucou.pdf
https://hal.archives-ouvertes.fr/hal-01713193/document
https://doi.org/10.1109/MDAT.2018.2791801
https://dblp.uni-trier.de/db/journals/dt/dt35.html#BechennecFRBG18
https://hal.archives-ouvertes.fr/hal-01713193
http://doi.org/10.1109/MDAT.2018.2791801
https://ieeexplore.ieee.org/document/8253506/ -
10
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSRE17 - 28th International Symposium on Software Reliability Engineering ; https://inria.hal.science/hal-01592671 ; ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France
Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.0: Code inspections and walk-throughs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Fault Diagnosis of Hybrid Dynamic and Complex Systems ; https://hal.science/hal-01905006 ; Moamar Sayed-Mouchaweh. Fault Diagnosis of Hybrid Dynamic and Complex Systems, Springer Verlag, pp.209-241, 2018, 978-3-319-74013-3. ⟨10.1007/978-3-319-74014-0_9⟩ ; https://link.springer.com/chapter/10.1007/978-3-319-74014-0_9https://link.springer.com/chapter/10.1007/978-3-319-74014-0_9
Schlagwörter: ACM: B.: Hardware/B.4: INPUT/OUTPUT AND DATA COMMUNICATIONS/B.4.5: Reliability, Testing, and Fault-Tolerance/B.4.5.1: Diagnostics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018
https://inria.hal.science/hal-02314731
Tim Felgentreff
Olivier Zendra. 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018, Jul 2018, Amsterdam, Netherlands. ACM, 2018, 978-1-4503-5804-0
https://dl.acm.org/citation.cfm?doid=3242947Schlagwörter: compilation, languages, implementation, optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geographisches Schlagwort: Amsterdam, Netherlands
-
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: TACAS 2018 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ; https://inria.hal.science/hal-01777861 ; TACAS 2018 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2018, Thessaloniki, Greece. pp.211-228, ⟨10.1007/978-3-319-89963-3_13⟩
Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geographisches Schlagwort: Thessaloniki, Greece
-
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation ; https://inria.hal.science/hal-01779151 ; MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.1 - 40, ⟨10.4204/EPTCS.268.1⟩
Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.2: Network Protocols, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Geographisches Schlagwort: Thessaloniki, Greece
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Second IEEE International Conference on Robotic Computing ; https://hal.sorbonne-universite.fr/hal-01666652 ; Second IEEE International Conference on Robotic Computing, Jan 2018, Laguna Hills, California, United States ; http://www.ieee-irc.org
Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Geographisches Schlagwort: Laguna Hills, California, United States
-
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018
https://hal.archives-ouvertes.fr/hal-01710774
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018, Jan 2018, Toulouse, FranceSchlagwörter: powertrain control, software development, frontloading, validation and test, virtual ECU, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY], [SPI.OTHER]Engineering Sciences [physics]/Other
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1802.06841; hal-01710774; https://hal.archives-ouvertes.fr/hal-01710774; https://hal.archives-ouvertes.fr/hal-01710774/document; https://hal.archives-ouvertes.fr/hal-01710774/file/ERTS_2018_paper11_virtual_EMS_final.pdf; ARXIV: 1802.06841
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: International Journal on Software Tools for Technology Transfer. 13:431-448
Schlagwörter: data generators, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0502 economics and business, 05 social sciences, 0202 electrical engineering, electronic engineering, information engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.7: Symbolic execution, coverage testing)
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 15th International Conference on Software Engineering and Formal Methods, SEFM 2017
https://hal.science/hal-01559688
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
http://sefm17.fbk.eu/Schlagwörter: Framework, Critical systems, Verification, Diagnosis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
19
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Visualization for the Digital Humanities ; https://inria.hal.science/hal-01650259 ; Visualization for the Digital Humanities, Oct 2017, Phoenix, United States
Schlagwörter: Network visualization, logs, understanding users, history, digital humanities, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
Geographisches Schlagwort: Phoenix, United States
-
20
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Lecture Notes in Computer Science ; 7th International Conference on Fundamentals of Software Engineering (FSEN) ; https://inria.hal.science/hal-01533401 ; 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩ ; http://fsen.ir/2017/
Schlagwörter: Concurrent Systems, Model Checking, Debugging, Counterexamples, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO]Computer Science [cs], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Full Text Finder 
Nájsť tento článok vo Web of Science