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: 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
-
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: 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
-
5
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
-
6
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
-
7
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
-
8
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
-
9
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]
-
10
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 -
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Techniques et sciences informatiques. 28:533-563
Schlagwörter: noyau de sécurité, test de conformité, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], contrôle d'accès, Meca, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], politique de sécurité
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSN: 0751-2708.
Schlagwörter: réutilisation, édition, standard, moissonnage, valorisation, 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.12: Interoperability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, [SHS]Humanities and Social Sciences, [SHS.LITT]Humanities and Social Sciences/Literature, [INFO]Computer Science [cs]
-
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: SAC’15, SVT track ; https://hal.science/hal-01094227 ; SAC’15, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩
Schlagwörter: Error handling and recovery, Diagnostics, Debugging aids, Testing and Debugging, Constraints, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: NTB Berlin 2022 - International Forum on Neural Engineering & Brain Technologies ; https://hal.science/hal-03672192 ; NTB Berlin 2022 - International Forum on Neural Engineering & Brain Technologies, May 2022, Berlin, Germany ; https://nbt-berlin.de/
Schlagwörter: EEG, Brain-computer interface BCI, Systematic latency, Event-related potential ERP, Potentiels Evoqués Cognitifs PEC, Latence, ACM: K.: Computing Milieux, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.2: User Interfaces/H.5.2.15: User-centered design, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [SCCO]Cognitive science, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [SCCO.COMP]Cognitive science/Computer science, [SCCO.NEUR]Cognitive science/Neuroscience, [SCCO.PSYC]Cognitive science/Psychology
Verfügbarkeit: https://hal.science/hal-03672192
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSN: 0950-5849.
Schlagwörter: Configuration testing, configurable software systems, constraints programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, 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], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
-
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: CSTVA ; https://hal.science/hal-01099503 ; CSTVA, ACM, May 2014, Hyderabad, India. pp.7 - 11, ⟨10.1145/2593735.2593737⟩ ; http://dl.acm.org/citation.cfm?doid=2593735.2593737
Schlagwörter: ACM: D.: Software, 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.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Time: Hyderabad, India
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 18th International Software Product Line Conference (2014)
https://inria.hal.science/hal-01025159
18th International Software Product Line Conference (2014), Sep 2014, Florence, ItalySchlagwörter: MaTeLo, Product Line Manager, Model-based Testing tool, OVM, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [SCCO.COMP]Cognitive science/Computer science
Time: Florence, Italy
Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014)
https://inria.hal.science/hal-01002099
19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), Aug 2014, Tianjin, ChinaSchlagwörter: Usage Model, Product Line, Orthogonal Variability Model, Requirements, Model-based Testing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, [SCCO.COMP]Cognitive science/Computer science, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT
-
19
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Conference on Complex Systems Design & Management ; https://cea.hal.science/cea-01810844 ; Conference on Complex Systems Design & Management, Nov 2014, Paris, France
Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering
-
20
Autoren: et al.
Weitere Verfasser: et al.
Quelle: WWW 2012 - SWCS'12 Workshop - 21st World Wide Web Conference - Semantic Web Collaborative Spaces workshop ; https://inria.hal.science/hal-00765596 ; WWW 2012 - SWCS'12 Workshop - 21st World Wide Web Conference - Semantic Web Collaborative Spaces workshop, Apr 2012, Lyon, France. pp.1075-1082
Schlagwörter: Knowledge Management, Semantic Wiki, Continuous Integration process, Ontology, ACM: H.: Information Systems/H.4: INFORMATION SYSTEMS APPLICATIONS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Full Text Finder 
Nájsť tento článok vo Web of Science