Suchergebnisse - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging

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

Verfügbarkeit: 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

View record from BASE

Nájsť tento článok vo Web of Science

4

Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification

Autoren: Jakse, Raphaël Falcone, Yliès Méhaut, Jean-François et al.

Weitere Verfasser: Jakse, Raphaël Falcone, Yliès Méhaut, Jean-François 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]

Geographisches Schlagwort: Toulouse, France

Verfügbarkeit: https://inria.hal.science/hal-01592671
https://inria.hal.science/hal-01592671v1/document
https://inria.hal.science/hal-01592671v1/file/ieee.pdf

View record from BASE

Nájsť tento článok vo Web of Science

5

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

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

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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

6

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

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

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

Verfügbarkeit: 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

View record from BASE

Nájsť tento článok vo Web of Science

7

Debugging of Concurrent Systems using Counterexample Analysis

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

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

Geographisches Schlagwort: Tehran, Iran

Verfügbarkeit: 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

View record from BASE

Nájsť tento článok vo Web of Science

8

A Formal TLS Handshake Model in LNT

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

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

Verfügbarkeit: 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

View record from BASE

Nájsť tento článok vo Web of Science

9

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

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

Weitere Verfasser: Marsso, Lina Mateescu, Radu Serwe, Wendelin 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

Verfügbarkeit: 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

View record from BASE

Nájsť tento článok vo Web of Science

10

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

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

Weitere Verfasser: Felgentreff, Tim Zendra, Olivier Oracle Labs 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=3242947

Schlagwö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

Verfügbarkeit: https://inria.hal.science/hal-02314731
https://inria.hal.science/hal-02314731v1/document
https://inria.hal.science/hal-02314731v1/file/frontmatter.pdf

View record from BASE

Nájsť tento článok vo Web of Science

11

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

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

Weitere Verfasser: Samih, Hamza Acher, Mathieu Bogusch, Ralf 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, China

Schlagwö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

Geographisches Schlagwort: Tianjin, China

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

Verfügbarkeit: 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

View record from BASE

Nájsť tento článok vo Web of Science

12

Logic programming environments: Dynamic program analysis and debugging

Autoren: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) et al.

Weitere Verfasser: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) 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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

13

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

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

Weitere Verfasser: Arnaud, Mathilde Bannour, Boutheina Cuccuru, Arnaud 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

Geographisches Schlagwort: Paris, France

Verfügbarkeit: https://cea.hal.science/cea-01810844
https://cea.hal.science/cea-01810844v1/document
https://cea.hal.science/cea-01810844v1/file/CSDM2014_ABCGGL.pdf

View record from BASE

Nájsť tento článok vo Web of Science

14

Information Flow Testing

Autoren: Le Guernic, Gurvan Logiciel : ANalyse et DEveloppement (Lande) Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) et al.

Weitere Verfasser: Le Guernic, Gurvan Logiciel : ANalyse et DEveloppement (Lande) Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) et al.

Quelle: Annual Asian Computing Science Conference ; https://inria.hal.science/inria-00198595 ; Annual Asian Computing Science Conference, Carnegie Mellon University Qatar Campus, Dec 2007, Doha, Qatar. ⟨10.1007/978-3-540-76929-3_4⟩

Schlagwörter: Noninterference, Testing, Confidentiality, Information Flow, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.3: Information flow controls, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis, ACM: K.: Computing Milieux/K.4: COMPUTERS AND SOCIETY/K.4.1: Public Policy Issues/K.4.1.5: Privacy, 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.8: Validation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

Geographisches Schlagwort: Doha, Qatar

Verfügbarkeit: https://inria.hal.science/inria-00198595
https://inria.hal.science/inria-00198595/document
https://inria.hal.science/inria-00198595/file/noninterferenceTesting.pdf
https://doi.org/10.1007/978-3-540-76929-3_4

View record from BASE

Nájsť tento článok vo Web of Science

15

MPLM -- MaTeLo Product Line Manager

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

Weitere Verfasser: Samih, Hamza Bogusch, Ralf Diversity-centric Software Engineering (DiverSe) 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, Italy

Schlagwö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

Geographisches Schlagwort: Florence, Italy

Time: Florence, Italy

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

Verfügbarkeit: https://inria.hal.science/hal-01025159
https://inria.hal.science/hal-01025159v1/document
https://inria.hal.science/hal-01025159v1/file/MasterTexMPLM.pdf

View record from BASE

Nájsť tento článok vo Web of Science

16

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

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

Weitere Verfasser: Serrano Molinero, Vanessa Bach, Benjamin Plaisant, Catherine 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

Verfügbarkeit: 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

View record from BASE

Nájsť tento článok vo Web of Science

17

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

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

Weitere Verfasser: Dadeau, Frédéric Haddad, Amal Moutet, Thierry 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é

Zugangs-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

View record at OpenAIRE

Nájsť tento článok vo Web of Science

18

Applying Structural Testing to Services Using Testing Interfaces and Metadata

Autoren: Eler, Marcelo Medeiros Bertolino, Antonia Masiero, Paulo Cesar et al.

Weitere Verfasser: Eler, Marcelo Medeiros Bertolino, Antonia Masiero, Paulo Cesar et al.

Quelle: International Journal of Software and Informatics (IJSI)
International Journal of Software and Informatics (IJSI), 2013, 7 (2), pp.239-271

Schlagwörter: evaluation, ACM: H.: Information Systems/H.3: INFORMATION STORAGE AND RETRIEVAL/H.3.5: Online Information Services, service-oriented architecture, structural testing, metadata, 0202 electrical engineering, electronic engineering, information engineering, coverage, 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], testable service, service- oriented architecture