Seite 1 von 380 Ergebnissen

Sortieren nach: Relevanz | Aktualität neu zuerst | Titel A-Z

  1.  

    Robust Non-termination Analysis of Numerical Software

    Xue, Bai / Zhan, Naijun / Li, Yangjia et al. | arXiv | 2018
  2.  

    Automatically Checking Conformance on Asynchronous Reactive Systems

    Gomes, Camila Sonada / Bonifacio, Adilson Luiz | arXiv | 2019
  3.  

    An experiment with denotational semantics

    Andrzej, Blikle | arXiv | 2019
  4.  

    DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis

    Wakankar, Amol / Pandya, Paritosh K. / Matteplackel, Raj Mohan | arXiv | 2017
  5.  

    Formalizing Timing Diagram Requirements in Discrete Duration Calulus

    Matteplackel, Raj Mohan / Pandya, Paritosh K. / Wakankar, Amol | arXiv | 2017
  6.  

    On the "Naturalness" of Buggy Code

    Ray, Baishakhi / Hellendoorn, Vincent / Godhane, Saheel et al. | arXiv | 2015
  7.  

    A Prediction Model for System Testing Defects using Regression Analysis

    Suffian, Muhammad Dhiauddin Mohamed / Ibrahim, Suhaimi | arXiv | 2014
  8.  

    Efficiency of automata in semi-commutation verification techniques

    Cécé, Gérard / Héam, Pierre-Cyrille / Mainier, Yann | EDP Sciences | 2008
  9.  

    Grey-box GUI Testing: Efficient Generation of Event Sequences

    Arlt, Stephan / Banerjee, Ishan / Bertolini, Cristiano et al. | arXiv | 2012

Ergebnisse anzeigen: 10 | 20 | 50

Feedback