Search Results - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing AND Debugging*
-
1
Authors: et al.
Contributors: et al.
Source: IEEE Transactions on Parallel and Distributed Systems. 33:1464-1477
Subject Terms: [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)
File Description: application/pdf
Access 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
Authors: et al.
Contributors: et al.
Source: 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, SpainSubject Terms: 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]
Subject Geographic: Spain
Time: Madrid, Spain
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2105.05517; ARXIV: 2105.05517
-
3
Authors: et al.
Contributors: et al.
Source: IEEE Design & Test. 35:31-37
Subject Terms: 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
Access 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
Authors: et al.
Contributors: et al.
Source: 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⟩
Subject Terms: 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]
Subject Geographic: Chicago, United States
-
5
Authors: et al.
Contributors: et al.
Source: JOBIM ; https://uca.hal.science/hal-03716631 ; JOBIM, Jul 2022, Rennes, France. ; https://jobim2022.sciencesconf.org/
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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]
Subject Geographic: Honolulu / Virtual, United States
Relation: info:eu-repo/grantAgreement//830927/EU/Cyber security cOmpeteNCe fOr Research anD InnovAtion/CONCORDIA
-
7
Authors: et al.
Contributors: et al.
Source: 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⟩Subject Terms: 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]
Subject Geographic: Hanan Island, China
Relation: info:eu-repo/grantAgreement//812.788/EU/Safer Autonomous Systems/SAS
-
8
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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]
Subject Geographic: Yokohama / Virtual, Japan
-
9
Authors: et al.
Contributors: et al.
Source: Information and Software Technology, 56(7), 749-762. Elsevier (2014).
Subject Terms: 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
Access 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
Authors: et al.
Contributors: et al.
Source: International Journal on Software Tools for Technology Transfer. 13:431-448
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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, FranceSubject Terms: 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
Authors: et al.
Contributors: et al.
Source: JDEV ; https://hal.science/hal-02899373 ; JDEV, Jul 2020, RENNES, France
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: Software Testing, Verification and Reliability. 22:407-434
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: Electronic Notes in Theoretical Computer Science. 253:37-51
Subject Terms: 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)
Access 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
Authors: et al.
Contributors: et al.
Source: Electronic Notes in Theoretical Computer Science. 253:117-132
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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]
Subject Geographic: Laguna Hills, California, United States
-
18
Authors: et al.
Contributors: et al.
Source: 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/
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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⟩
Subject Terms: 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]
Subject Geographic: Thessaloniki, Greece
-
20
Authors: et al.
Contributors: et al.
Source: The Journal of Logic Programming. :351-384
Subject Terms: 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]
Access 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