Journal: International Journal on Software Tools for Technology Transfer

Abbreviation

Int J Softw Tools Technol Transfer

Publisher

Springer

Journal Volumes

ISSN

1433-2779
1433-2787

Description

Filters

Reset filters

Search Results

Publications 1 - 10 of 15
  • AutoProof meets some verification challenges
    Item type: Journal Article
    Tschannen, Julian; Furia, Carlo A.; Nordio, Martin (2015)
    International Journal on Software Tools for Technology Transfer
    AutoProof is an automatic verifier for functional properties of programs written in Eiffel. This paper illustrates some of AutoProof’s capabilities when tackling the three challenges of the VerifyThis verification competition held at FM 2012, as well as on three other problems proposed in related events. AutoProof ’s design focuses on making it practically applicable with reduced user effort. Tackling the challenges demonstrates to what extent this design goal is met in the current implementation: while some of AutoProof’s current limitations prevent us from verifying the complete specification of the prefix sum and binary search tree algorithms, we can still prove some partial properties on interesting special cases, but with the advantage of requiring little or no specification.
  • First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
    Item type: Journal Article
    Bartocci, Ezio; Falcone, Yliès; Bonakdarpour, Borzoo; et al. (2019)
    International Journal on Software Tools for Technology Transfer
    The first international Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a satellite event of the 14th international conference on Runtime Verification (RV’14). The event was organized in three tracks: (1) offline monitoring, (2) online monitoring of C programs, and (3) online monitoring of Java programs. In this paper, we report on the phases and rules, a description of the participating teams and their submitted benchmark, the (full) results, as well as the lessons learned from the competition.
  • Efficient reduction of finite state model checking to reachability analysis
    Item type: Journal Article
    Schuppan, Viktor; Biere, Armin (2004)
    International Journal on Software Tools for Technology Transfer
  • Computational challenges in bounded model checking
    Item type: Journal Article
    Clarke, Edmund; Kroening, Daniel; Ouaknine, Joël; et al. (2005)
    International Journal on Software Tools for Technology Transfer
  • Model-based testing for real
    Item type: Journal Article
    Pretschner, Alexander; Slotosch, O.; Aiglstorfer, E.; et al. (2004)
    International Journal on Software Tools for Technology Transfer
  • Component-based system design
    Item type: Journal Article
    Lampka, Kai; Perathoner, Simon; Thiele, Lothar (2013)
    International Journal on Software Tools for Technology Transfer
  • AutoProof: auto-active functional verification of object-oriented programs
    Item type: Journal Article
    Furia, Carlo A.; Nordio, Martin; Polikarpova, Nadia; et al. (2017)
    International Journal on Software Tools for Technology Transfer
  • First three years of the international verification of neural networks competition (VNN-COMP)
    Item type: Journal Article
    Brix, Christopher; Müller, Mark Niklas; Bak, Stanley; et al. (2023)
    International Journal on Software Tools for Technology Transfer
    This paper presents a summary and meta-analysis of the first three iterations of the annual International Verification of Neural Networks Competition (VNN-COMP), held in 2020, 2021, and 2022. In the VNN-COMP, participants submit software tools that analyze whether given neural networks satisfy specifications describing their input-output behavior. These neural networks and specifications cover a variety of problem classes and tasks, corresponding to safety and robustness properties in image classification, neural control, reinforcement learning, and autonomous systems. We summarize the key processes, rules, and results, present trends observed over the last three years, and provide an outlook into possible future developments.
  • System architecture evaluation using modular performance analysis
    Item type: Journal Article
    Wandeler, Ernesto; Thiele, Lothar; Verhoef, Marcel; et al. (2006)
    International Journal on Software Tools for Technology Transfer
  • A taxonomy for classifying runtime verification tools
    Item type: Journal Article
    Falcone, Yliès; Krstić, Srđan; Reger, Giles; et al. (2021)
    International Journal on Software Tools for Technology Transfer
    Over the last 20 years, runtime verification (RV) has grown into a diverse and active field, which has stimulated the development of numerous theoretical frameworks and practical tools. Many of the tools are at first sight very different and challenging to compare. Yet, there are similarities. In this work, we classify RV tools within a high-level taxonomy of concepts. We first present this taxonomy and discuss its different dimensions. Then, we survey the existing RV tools and, where possible with the support of tool authors, classify them according to the taxonomy. While the classification continually evolves, this article presents a snapshot with 60 state-of-the-art RV tools. We believe that this work is an important step in establishing a common terminology in RV and enabling a meaningful comparison of existing RV tools.
Publications 1 - 10 of 15