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: 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
-
3
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/ -
4
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
-
5
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
-
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: 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
-
8
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
-
9
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Information and Software Technology, 56(7), 749-762. Elsevier (2014).
Schlagwörter: Computer science [C05] [Engineering, computing & technology], Model checking, Large-scale distributed system, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Distributed test architecture, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Model-based testing, Software testing, Distributed computer systems, Trustworthy softwares, Experimental validations, Model based testing, 0202 electrical engineering, electronic engineering, information engineering, Distributed Hash Table, Defects, Open source implementation, Experiments, Distributed software
Zugangs-URL: https://orbilu.uni.lu/bitstream/10993/25155/1/Model-based%20testing%20of%20global%20properties.pdf
https://inria.hal.science/hal-00942576v1
https://doi.org/10.1016/j.infsof.2014.02.002
https://hal.inria.fr/hal-00942576
https://orbilu.uni.lu/bitstream/10993/25155/1/Model-based%20testing%20of%20global%20properties.pdf
http://orbilu.uni.lu/handle/10993/25155
https://doi.org/10.1016/j.infsof.2014.02.002
https://www.sciencedirect.com/science/article/pii/S0950584914000366
https://dialnet.unirioja.es/servlet/articulo?codigo=6494648
http://orbilu.uni.lu/handle/10993/25155 -
10
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)
-
11
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
-
12
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]
-
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Software Testing, Verification and Reliability. 22:407-434
Schlagwörter: data generators, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 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], [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, 02 engineering and technology, coverage testing), [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
-
14
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]
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Notes in Theoretical Computer Science. 253:37-51
Schlagwörter: data generators, automata, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Random generation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, coverage testing), 01 natural sciences, Theoretical Computer Science, model-based testing, Chinese Postman algorithm, 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, Computer Science(all)
Zugangs-URL: https://inria.hal.science/inria-00429236v1
https://doi.org/10.1016/j.entcs.2009.09.050
https://www.sciencedirect.com/science/article/abs/pii/S1571066109004046
https://www.sciencedirect.com/science/article/pii/S1571066109004046
https://hal.inria.fr/inria-00429236
https://dblp.uni-trier.de/db/journals/entcs/entcs253.html#DadeauLH09
https://www.sciencedirect.com/science/article/pii/S1571066109004046#!
https://core.ac.uk/display/82213810 -
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Notes in Theoretical Computer Science. 253:117-132
Schlagwörter: symbolic animation, data generators, Test generation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, scenario-based testing, coverage testing), Theoretical Computer Science, constraint solving, 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, B machines, Computer Science(all)
-
17
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
-
18
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]
-
19
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
-
20
Autoren: et al.
Weitere Verfasser: et al.
Quelle: The Journal of Logic Programming. :351-384
Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.2: Constraint and logic languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Logic, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, [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.1: Debugging aids, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
Zugangs-URL: https://inria.hal.science/hal-00756832v1
https://hal.inria.fr/inria-00074067
https://dblp.uni-trier.de/db/journals/jlp/jlp19.html#DucasseN94
https://hal.inria.fr/inria-00074067/document
https://www.sciencedirect.com/science/article/pii/0743106694900302
http://www.sciencedirect.com/science/article/pii/0743106694900302
Full Text Finder 
Nájsť tento článok vo Web of Science