Search Results - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging"

EnosLib: A Library for Experiment-Driven Research in Distributed Computing

Authors: Ronan-Alexandre Cherrueau Marie Delavergne Alexandre van Kempen et al.

Contributors: Ronan-Alexandre Cherrueau Marie Delavergne Alexandre van Kempen 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

TAF: a tool for diverse and constrained test case generation

Authors: Robert, Clément Guiochet, Jérémie Waeselynck, Hélène et al.

Contributors: Robert, Clément Guiochet, Jérémie Waeselynck, Hélène 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

Availability: https://laas.hal.science/hal-03435959
https://laas.hal.science/hal-03435959v1/document
https://laas.hal.science/hal-03435959v1/file/350_file_Submit_PDF.pdf
https://doi.org/10.1109/QRS54544.2021.00042

Testing Real-Time Systems With Runtime Enforcement

Authors: Jean-Luc Bechennec Sebastien Faucou Olivier H. Roux et al.

Contributors: Jean-Luc Bechennec Sebastien Faucou Olivier H. Roux 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/

Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems

Authors: Felgentreff, Tim Zendra, Olivier Oracle Labs et al.

Contributors: Felgentreff, Tim Zendra, Olivier Oracle Labs et al.

Source: 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=3242947

Subject Terms: 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]

Subject Geographic: Amsterdam, Netherlands

Availability: https://inria.hal.science/hal-02314731
https://inria.hal.science/hal-02314731v1/document
https://inria.hal.science/hal-02314731v1/file/frontmatter.pdf

TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation

Authors: Marsso, Lina Mateescu, Radu Serwe, Wendelin et al.

Contributors: Marsso, Lina Mateescu, Radu Serwe, Wendelin et al.

Source: 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⟩

Subject Terms: 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]

Subject Geographic: Thessaloniki, Greece

Availability: https://inria.hal.science/hal-01777861
https://inria.hal.science/hal-01777861/document
https://inria.hal.science/hal-01777861/file/Marsso-Mateescu-Serwe-18.pdf
https://doi.org/10.1007/978-3-319-89963-3_13

A Formal TLS Handshake Model in LNT

Authors: Bozic, Josip Marsso, Lina Mateescu, Radu et al.

Contributors: Bozic, Josip Marsso, Lina Mateescu, Radu 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

Availability: https://inria.hal.science/hal-01779151
https://inria.hal.science/hal-01779151/document
https://inria.hal.science/hal-01779151/file/Bozic-Marsso-Mateescu-Wotawa-18.pdf
https://doi.org/10.4204/EPTCS.268.1

Towards a well-founded software component model for cyber-physical control systems

Authors: Malenfant, Jacques Modélisation et Vérification (MoVe) LIP6 et al.

Contributors: Malenfant, Jacques Modélisation et Vérification (MoVe) LIP6 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

Availability: https://hal.sorbonne-universite.fr/hal-01666652
https://hal.sorbonne-universite.fr/hal-01666652v1/document
https://hal.sorbonne-universite.fr/hal-01666652v1/file/Malenfant.pdf

Understanding the Use of The Vistorian: Complementing Logs with Context Mini-Questionnaires

Authors: Serrano Molinero, Vanessa Bach, Benjamin Plaisant, Catherine et al.

Contributors: Serrano Molinero, Vanessa Bach, Benjamin Plaisant, Catherine et al.

Source: Visualization for the Digital Humanities ; https://inria.hal.science/hal-01650259 ; Visualization for the Digital Humanities, Oct 2017, Phoenix, United States

Subject Terms: 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]

Subject Geographic: Phoenix, United States

Availability: https://inria.hal.science/hal-01650259
https://inria.hal.science/hal-01650259/document
https://inria.hal.science/hal-01650259/file/Understanding%20the%20Use%20of%20The%20Vistorian%20Complementing%20Logs%20with%20Context%20Mini-Questionnaires%20%281%29.pdf

Debugging of Concurrent Systems using Counterexample Analysis

Authors: Barbon, Gianluca Leroy, Vincent Salaün, Gwen et al.

Contributors: Barbon, Gianluca Leroy, Vincent Salaün, Gwen 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]

Subject Geographic: Tehran, Iran

Availability: https://inria.hal.science/hal-01533401
https://inria.hal.science/hal-01533401v2/document
https://inria.hal.science/hal-01533401v2/file/fsen17_rev.pdf
https://doi.org/10.1007/978-3-319-68972-2_2

Model-based testing of global properties on large-scale distributed systems

Authors: Sunyé, Gerson Cunha de Almeida, Eduardo Le Traon, Yves et al.

Contributors: Sunyé, Gerson Cunha de Almeida, Eduardo Le Traon, Yves 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

Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès

Authors: Dadeau, Frédéric Haddad, Amal Moutet, Thierry et al.

Contributors: Dadeau, Frédéric Haddad, Amal Moutet, Thierry et al.

Source: Techniques et sciences informatiques. 28:533-563

Subject Terms: 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é

Access URL: https://hal.inria.fr/inria-00429230
https://doi.org/10.3166/tsi.28.533-563
https://dblp.uni-trier.de/db/journals/tsi/tsi28.html#DadeauHM09
https://tsi.revuesonline.com/article.jsp?articleId=13301

CapiTainS Toolkit, Digital Editing and Data Reuse ; Les outils CapiTainS, l’édition numérique et l’exploitation des textes

Authors: Clérice, Thibault Centre Jean Mabillon (CJM) École nationale des chartes (ENC) et al.

Contributors: Clérice, Thibault Centre Jean Mabillon (CJM) École nationale des chartes (ENC) et al.

Source: ISSN: 0751-2708.

Subject Terms: 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]

Availability: https://hal.science/hal-02892280
https://hal.science/hal-02892280v1/document
https://hal.science/hal-02892280v1/file/Article%20CapiTainS.pdf
https://doi.org/10.4000/medievales.8211

LocFaults: A new flow-driven and constraint-based error localization approach

Authors: Bekkouche, Mohammed Collavizza, Hélène Rueher, Michel et al.

Contributors: Bekkouche, Mohammed Collavizza, Hélène Rueher, Michel et al.

Source: SAC’15, SVT track ; https://hal.science/hal-01094227 ; SAC’15, SVT track, ACM, Apr 2015, Salamanca,, Spain. ⟨10.1145/2695664.2695822⟩

Subject Terms: 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]

Subject Geographic: Salamanca, Spain

Availability: https://hal.science/hal-01094227
https://hal.science/hal-01094227v1/document
https://hal.science/hal-01094227v1/file/mcs_sac15.pdf
https://doi.org/10.1145/2695664.2695822

Analysis of Event-Related Potentials: Have you thought of tagging latency?

Authors: Andreev, Anton Cattan, Grégoire GIPSA-Services (GIPSA-Services) et al.

Contributors: Andreev, Anton Cattan, Grégoire GIPSA-Services (GIPSA-Services) et al.

Source: 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/

Subject Terms: 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

Subject Geographic: Berlin, Germany

Availability: https://hal.science/hal-03672192

Optimal Minimisation of Pairwise-covering Test Configurations Using Constraint Programming

Authors: Hervieu, Aymeric Marijan, Dusica Gotlieb, Arnaud et al.

Contributors: Hervieu, Aymeric Marijan, Dusica Gotlieb, Arnaud et al.

Source: ISSN: 0950-5849.

Subject Terms: 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]

Availability: https://inria.hal.science/hal-01352831
https://inria.hal.science/hal-01352831v1/document
https://inria.hal.science/hal-01352831v1/file/IST_journal.pdf

Generating test cases inside suspicious intervals for floating-point number programs

Authors: Collavizza, Hélène Michel, Claude Ponsini, Olivier et al.

Contributors: Collavizza, Hélène Michel, Claude Ponsini, Olivier et al.

Source: 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

Subject Terms: 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]

Subject Geographic: Hyderabad, India

Time: Hyderabad, India

Availability: https://hal.science/hal-01099503
https://hal.science/hal-01099503v1/document
https://hal.science/hal-01099503v1/file/cstva14.pdf
https://doi.org/10.1145/2593735.2593737

MPLM -- MaTeLo Product Line Manager

Authors: Samih, Hamza Bogusch, Ralf Diversity-centric Software Engineering (DiverSe) et al.

Contributors: Samih, Hamza Bogusch, Ralf Diversity-centric Software Engineering (DiverSe) et al.

Source: 18th International Software Product Line Conference (2014)
https://inria.hal.science/hal-01025159
18th International Software Product Line Conference (2014), Sep 2014, Florence, Italy

Subject Terms: 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

Subject Geographic: Florence, Italy

Time: Florence, Italy

Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT

Availability: https://inria.hal.science/hal-01025159
https://inria.hal.science/hal-01025159v1/document
https://inria.hal.science/hal-01025159v1/file/MasterTexMPLM.pdf

Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study

Authors: Samih, Hamza Acher, Mathieu Bogusch, Ralf et al.

Contributors: Samih, Hamza Acher, Mathieu Bogusch, Ralf et al.

Source: 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, China

Subject Terms: 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

Subject Geographic: Tianjin, China

Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT

Availability: https://inria.hal.science/hal-01002099
https://inria.hal.science/hal-01002099v1/document
https://inria.hal.science/hal-01002099v1/file/Deriving_Usage_Model_Variants_for_Model_based_Testing_An_Industrial_Case_Study.pdf

Timed symbolic testing framework for executable models using high-level scenarios

Authors: Arnaud, Mathilde Bannour, Boutheina Cuccuru, Arnaud et al.

Contributors: Arnaud, Mathilde Bannour, Boutheina Cuccuru, Arnaud et al.

Source: Conference on Complex Systems Design & Management ; https://cea.hal.science/cea-01810844 ; Conference on Complex Systems Design & Management, Nov 2014, Paris, France

Subject Terms: 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

Subject Geographic: Paris, France

Availability: https://cea.hal.science/cea-01810844
https://cea.hal.science/cea-01810844v1/document
https://cea.hal.science/cea-01810844v1/file/CSDM2014_ABCGGL.pdf

Knowledge Continuous Integration Process (K-CIP)

Authors: Skaf-Molli, Hala Desmontils, Emmanuel Nauer, Emmanuel et al.

Contributors: Skaf-Molli, Hala Desmontils, Emmanuel Nauer, Emmanuel et al.

Source: 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

Subject Terms: 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]

Subject Geographic: Lyon, France

Availability: https://inria.hal.science/hal-00765596
https://inria.hal.science/hal-00765596v1/document
https://inria.hal.science/hal-00765596v1/file/p1075.pdf