المؤلفون: Jakse, Raphaël

المساهمون: Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Université Grenoble Alpes, Jean-François Méhaut, Yliès Carlo Falcone, Compiler Optimization and Run-time Systems [2016-2019] (CORSE [2016-2019]), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble [2016-2019] (LIG [2016-2019]), Institut polytechnique de Grenoble - Grenoble Institute of Technology [2007-2019] (Grenoble INP [2007-2019])-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019])-Institut polytechnique de Grenoble - Grenoble Institute of Technology [2007-2019] (Grenoble INP [2007-2019])-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Université Grenoble Alpes [2016-2019] (UGA [2016-2019]), Laboratoire d'Informatique de Grenoble [2007-2015] (LIG [2007-2015]), Institut polytechnique de Grenoble - Grenoble Institute of Technology [2007-2019] (Grenoble INP [2007-2019])-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), CORSE - Compiler Optimization and Run-time Systems, Université Grenoble - Alpes, LIG (Laboratoire informatique de Grenoble), Inria Grenoble Rhône-Alpes

المصدر: Mathematical Software [cs.MS]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM075⟩
Informatique [cs]. CORSE-Compiler Optimization and Run-time Systems; Université Grenoble-Alpes; LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, 2019. Français

مصطلحات موضوعية: distributed systems, reliability, débogage interactif, Monitoring, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, Débogage, Property, bugs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.0: Code inspections and walk-throughs, fiabilité, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], systèmes distribués, bogues, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, ingénierie logicielle, Propriété, interactive debugging, propriétés, runtime verification, Debugging, [INFO]Computer Science [cs], vérification à l'exécution, software engineering, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::530c131c8eecc69ea4979c0041957fd2
https://hal.inria.fr/tel-02460734

المؤلفون: Ferenc Horváth (9247448), Árpád Beszédes (9271192), Béla Vancsics (9271194), Gergő Balogh (9271196), László Vidács (9271197), Tibor Gyimóthy (9271198)

مصطلحات موضوعية: Software Engineering, Spectrum-Based Fault Localization, automated debugging, interactive debugging, user feedback, user simulation, user imperfection, user study

Relation: https://figshare.com/articles/dataset/Data_for_Experiments_with_Interactive_Fault_Localization_Using_Simulated_and_Real_Users/12815201

الاتاحة: https://doi.org/10.6084/m9.figshare.12815201.v3

المؤلفون: Scott E. Hudson, Roy Rodenstein, Ian Smith

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.media.mit.edu/~royrod/papers/debug_lenses.pdf.

مصطلحات موضوعية: Interactive Debugging, Lens Interaction Techniques, Dynamic Queries, Context-Based Rendering, User Interface Toolkits, subArctic, Java™

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.1216; http://www.media.mit.edu/~royrod/papers/debug_lenses.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.1216
http://www.media.mit.edu/~royrod/papers/debug_lenses.pdf

المؤلفون: Yann-Gaël Guéhéneuc, Carla Dal Sasso Freitas, Marcelo Soares Pimenta, Fabio Petrillo, Foutse Khomh

مصطلحات موضوعية: FOS: Computer and information sciences, Computer science, media_common.quotation_subject, 02 engineering and technology, Session (web analytics), Set (abstract data type), Computer Science - Software Engineering, Software_SOFTWAREENGINEERING, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, media_common, business.industry, 05 social sciences, Frame (networking), Collective intelligence, Swarm behaviour, 020207 software engineering, Interactive debugging, Software maintenance, Software Engineering (cs.SE), Debugging, Hardware and Architecture, Software engineering, business, 050203 business & management, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::426d9334ff83abc5896a76f7faf090a6
http://arxiv.org/abs/1902.03520

المؤلفون: Patrick Rodler, Michael Eichholzer

المصدر: Lecture Notes in Computer Science ISBN: 9783030229986
IEA/AIE

مصطلحات موضوعية: Ontology debugging, Computer science, business.industry, Interactive debugging, 02 engineering and technology, Ontology (information science), Machine learning, computer.software_genre, Fault (power engineering), Task (project management), 020204 information systems, Metric (mathematics), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Artificial intelligence, business, Heuristics, computer, Axiom

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6e8b560afe66dbea5d65eb727aeb60e3
https://doi.org/10.1007/978-3-030-22999-3_32

المؤلفون: Raphael Jakse

المصدر: ISSRE Workshops

مصطلحات موضوعية: Computer science, business.industry, Distributed computing, Reliability (computer networking), media_common.quotation_subject, Runtime verification, 020207 software engineering, Context (language use), Interactive debugging, 0102 computer and information sciences, 02 engineering and technology, Static analysis, 01 natural sciences, Software bug, Debugging, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Software engineering, business, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8494f019d54a0a90a00b5e177ad5b6fd
https://doi.org/10.1109/issrew.2017.44

المؤلفون: Kevin Pouget, Jean-François Méhaut, Raphael Jakse, Yliès Falcone

المصدر: ISSRE

مصطلحات موضوعية: business.industry, Computer science, Programming language, media_common.quotation_subject, Runtime verification, 020207 software engineering, Interactive debugging, 02 engineering and technology, computer.software_genre, Software, Debugging, Software bug, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, business, computer, media_common, Debugger

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::473c1557e5721a43b4a7029ddede2544
https://doi.org/10.1109/issre.2017.19

المؤلفون: Veras, Gabriel Barufi

المساهمون: Pimenta, Marcelo Soares, Petrillo, Fábio dos Santos

مصطلحات موضوعية: Engenharia : Software, Linguagens : Programacao, Interactive debugging, Software engineering, Software maintenance, Crowd software engineering, Interpreted programming language

وصف الملف: application/pdf

Relation: http://hdl.handle.net/10183/190137; 001088703

الاتاحة: http://hdl.handle.net/10183/190137

المؤلفون: Yann-Gaël Guéhéneuc, Carla M. D. S. Freitas, Zephyrin Soh, Foutse Khomh, Fabio Petrillo, Marcelo Soares Pimenta

المصدر: ICPC

مصطلحات موضوعية: Java, Programming language, business.industry, Computer science, media_common.quotation_subject, 05 social sciences, Debug menu, Swarm behaviour, 020207 software engineering, Interactive debugging, 02 engineering and technology, computer.software_genre, GeneralLiterature_MISCELLANEOUS, Electronic mail, Visualization, Algorithmic program debugging, Debugging, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, Software engineering, business, computer, 050107 human factors, computer.programming_language, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2332930e0ef4febd8b51dc67ba70d8b5
https://doi.org/10.1109/icpc.2016.7503740

المؤلفون: Kivanc Muslu, Serdar Tasiran, M. Erkan Keremoglu

المساهمون: Keremoğlu, M. Erkan, Taşıran, Serdar, Muslu, Kıvanç, College of Engineering, Department of Computer Engineering

المصدر: Empirical Software Engineering

مصطلحات موضوعية: Java, Computer science, Software engineering, Programming language, Concurrency, media_common.quotation_subject, Code coverage, Interactive debugging, Thread (computing), computer.software_genre, Shared memory, Multi-threaded software, Coverage metrics, Testing, Debugging, Test set, computer, Software, computer.programming_language, media_common

وصف الملف: pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81ca075bbe0f94fb7517cd712bf599f7
https://doi.org/10.1007/s10664-011-9166-8

المؤلفون: A. B. Bugerya

المصدر: Programming and Computer Software. 34:154-159

مصطلحات موضوعية: Scheme (programming language), Computer science, Programming language, Interactive debugging, Software_PROGRAMMINGTECHNIQUES, computer.software_genre, computer, Software, computer.programming_language, Debugger

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2b562cefab00e414bbba4e1607daf07b
https://doi.org/10.1134/s0361768808030031

المؤلفون: Petrillo, Fábio dos Santos

Thesis Advisors: Pimenta, Marcelo Soares, Freitas, Carla Maria Dal Sasso

المصدر: Biblioteca Digital de Teses e Dissertações da UFRGSUniversidade Federal do Rio Grande do SulUFRGS.

مصطلحات موضوعية: Insetos sociais, Manutencao : Software, Tolerancia : Falhas : Software, Interactive debugging, Crowd software engineering, Software maintenance, Software engineering

وصف الملف: application/pdf

الاتاحة: http://hdl.handle.net/10183/150176

المؤلفون: Petrillo, Fábio dos Santos

المساهمون: Pimenta, Marcelo Soares, Freitas, Carla Maria Dal Sasso

المصدر: Biblioteca Digital de Teses e Dissertações da UFRGS
Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS

مصطلحات موضوعية: Software engineering, Interactive debugging, Software [Manutencao], Insetos sociais, Crowd software engineering, Software maintenance, Falhas : Software [Tolerancia]

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::e491831141b3c8ab135911f43dda6b30

المؤلفون: Michael Leuschel, Joshua Schmidt, Sebastian Krings

المصدر: Lecture Notes in Computer Science ISBN: 9783319335995
ABZ

مصطلحات موضوعية: Model checking, Computer science, Programming language, Formal specification, Interactive debugging, Invariant (mathematics), computer.software_genre, Algorithm, computer, User feedback

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::30acd5be8b8603d8d82fc06a8a10a239
https://doi.org/10.1007/978-3-319-33600-8_25

المؤلفون: David F. Bacon, Sunil Shukla

المصدر: FCCM

مصطلحات موضوعية: Computer science, business.industry, media_common.quotation_subject, Real-time computing, Visibility (geometry), Interactive debugging, Software, Debugging, Embedded system, Key (cryptography), Field-programmable gate array, business, media_common, FPGA prototype

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b44d1c66aa207bf825ca09c701495fc4
https://doi.org/10.1109/fccm.2015.68

المؤلفون: Petrillo, Fábio dos Santos

المساهمون: Pimenta, Marcelo Soares, Freitas, Carla Maria Dal Sasso

مصطلحات موضوعية: Interactive debugging, Crowd software engineering, Software maintenance, Software engineering, Insetos sociais, Manutencao : Software, Tolerancia : Falhas : Software

وصف الملف: application/pdf

Relation: http://hdl.handle.net/10183/150176; 001008332

الاتاحة: http://hdl.handle.net/10183/150176

المؤلفون: Rodler, Patrick

مصطلحات موضوعية: Wissensrepräsentation, Monotone Logiken, Interaktives Debugging, Künstliche Intelligenz, Wissensbasierte Systeme, Sequenzielle Diagnose, Benutzerinteraktion, Ontologien, Anfrageselektion, Aktives Lernen, knowledge representation, monotonic logics, interactive debugging, artificial intelligence, knowledge-based systems, sequential diagnosis, user interaction, ontologies, query selection, active learning

جغرافية الموضوع: Klagenfurt am Wörthersee, KLU:80

وصف الملف: vi, 365 Seiten; Illustrationen

Relation: vignette : https://netlibrary.aau.at/titlepage/urn/urn:nbn:at:at-ubk:1-2708/128; eki:OBVAC10778546; urn:nbn:at:at-ubk:1-2708; https://resolver.obvsg.at/urn:nbn:at:at-ubk:1-2708; system:AC10778546

الاتاحة: https://resolver.obvsg.at/urn:nbn:at:at-ubk:1-2708

المؤلفون: Lin, Chia-Chi, Jalaparti, Virajith, Caesar, Matthew, Van der Merwe, Jacobus

مصطلحات موضوعية: Distributed Deterministic Execution, Interactive Debugging, Control-Plane Debugging, Speculative Execution

Relation: Proceedings of the 2013 USENIX Annual Technical Conference; http://hdl.handle.net/2142/45099; C.-C. Lin, V. Jalaparti, M. Caesar, and J. Van der Merwe. DEFINED: Deterministic Execution for Interactive Control-Plane Debugging. In USENIX ATC, 2013.

الاتاحة: http://hdl.handle.net/2142/45099

المؤلفون: Patricia Lopez Cueva, Miguel Santana, Kevin Pouget, Jean-François Méhaut

المساهمون: Heterogeneous and Adaptive distributed DAta management Systems (HADAS), Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), STMicroelectronics [Crolles] (ST-CROLLES), NANOSIM

المصدر: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC'13
Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC'13, 2013, Coimbra, Portugal. pp.1547--1549
SAC

مصطلحات موضوعية: Computer science, Programming language, Dataflow, media_common.quotation_subject, Interactive debugging, 02 engineering and technology, MPSoC, computer.software_genre, Embedded applications, Debugging, Computer architecture, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], computer, Dataflow architecture, ComputingMilieux_MISCELLANEOUS, media_common, Debugger

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::21f8d80ed853bd0bfd66fd8b3695e779
https://hal.inria.fr/hal-00953124

المؤلفون: Dong Yijun, Bangpeng Xie, Guangmin Shen, Yangsheng Sun

المصدر: 2012 China International Conference on Electricity Distribution.

مصطلحات موضوعية: Engineering, business.industry, Electrical engineering, Electronic engineering, Power cable, Work flow, Interactive debugging, Current (fluid), Differential (infinitesimal), business, Grid, Capacitance, Line (electrical engineering)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6790a517dd73cbea63d6f52e15195045
https://doi.org/10.1109/ciced.2012.6508674