Relevant bibliographies by topics / Multiverse debugging

Contents

  1. Dissertations / Theses
  2. Conference papers

Academic literature on the topic 'Multiverse debugging'

Author: Grafiati
Published: 17 May 2025
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Multiverse debugging.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Dissertations / Theses on the topic "Multiverse debugging"

1

Pasquier, Matthias. "Débogage multivers de spécifications non déterministes." Electronic Thesis or Diss., Brest, École nationale supérieure de techniques avancées Bretagne, 2024. http://www.theses.fr/2024ENTA0014.

Full text
Abstract:
Cette thèse traite du débogage interactif des langages de spécification non déterministes, en réponse à la complexité croissante des systèmes logiciels, notamment dans le domaine de l’Internet des Objets. Nous proposons une approche de débogage multivers réduit, modulaire et indépendante du langage afin de s’adapter à la diversité offerte par les approches de spécification existantes. Cette méthode propose aussi des outils pour surmonter les défis liés à l’explosion de l’espace d’état et permet de définir des points d’arrêt temporels, offrant aux utilisateurs des outils de contrôle précis pour
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Multiverse debugging"

1

Steevens, Maarten, Tom Lauwaerts, and Christophe Scholliers. "Concolic Multiverse Debugging." In DEBT '24: 2nd ACM International Workshop on Future Debugging Techniques. ACM, 2024. http://dx.doi.org/10.1145/3678720.3685318.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Pasquier, Matthias, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, and Loïc Lagadec. "Temporal Breakpoints for Multiverse Debugging." In SLE '23: 16th ACM SIGPLAN International Conference on Software Language Engineering. ACM, 2023. http://dx.doi.org/10.1145/3623476.3623526.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Pasquier, Matthias, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, and Loïc Lagadec. "Debugging Paxos in the UML Multiverse." In 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2023. http://dx.doi.org/10.1109/models-c59198.2023.00130.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Pasquier, Matthias, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, and Loïc Lagadec. "Practical multiverse debugging through user-defined reductions." In MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems. ACM, 2022. http://dx.doi.org/10.1145/3550355.3552447.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gu, Ken, Eunice Jun, and Tim Althoff. "Understanding and Supporting Debugging Workflows in Multiverse Analysis." In CHI '23: CHI Conference on Human Factors in Computing Systems. ACM, 2023. http://dx.doi.org/10.1145/3544548.3581099.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography