default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer, Volume 21
Volume 21, Number 1, February 2019
- Dirk Beyer
, Stefan Löwe, Philipp Wendler:
Reliable benchmarking: requirements and solutions. 1-29 - Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang:
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. 31-70 - Andreas Fellner, Bruno Woltzenlogel Paleo:
Greedy pebbling for proof space compression. 71-86 - Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling:
Hybrid automata: from verification to implementation. 87-104 - Stanislav Dashevskyi, Daniel Ricardo dos Santos, Fabio Massacci, Antonino Sabetta:
TestREx: a framework for repeatable exploits. 105-119
Volume 21, Number 2, April 2019
- Maxime Routhier, Richard St-Denis:
A qualitative assessment of αRby in the perspective of the supervisory control theory. 121-141 - Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone:
From high-level modeling toward efficient and trustworthy circuits. 143-163 - Chunyan Fu, Kougen Zheng:
Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B. 165-181 - Gervasio Pérez, Sergio Yovine:
Formal specification and implementation of an automated pattern-based parallel-code generation framework. 183-202 - Étienne André:
What's decidable about parametric timed automata? 203-219 - Philipp Zech, Michael Felderer, Ruth Breu:
Knowledge-based security testing of web applications by logic programming. 221-246
Volume 21, Number 3, June 2019
- Hakan Erdogmus, Klaus Havelund:
Introduction to Selected Papers from SPIN 2017. 247-248 - Jinru Hua, Yushan Zhang, Yuqun Zhang, Sarfraz Khurshid:
EdSketch: execution-driven sketching for Java. 249-265 - Daniel Ratiu, Andreas Ulrich:
An integrated environment for Spin-based C code checking - Towards bringing model-driven code checking closer to practitioners. 267-286 - Michalis Kokologiannakis, Konstantinos Sagonas:
Stateless model checking of the Linux kernel's read-copy update (RCU). 287-306 - Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol:
Model checking with generalized Rabin and Fin-less automata. 307-324 - John Fearnley, Sanjay Jain, Bart de Keijzer, Sven Schewe, Frank Stephan, Dominik Wojtczak:
An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space. 325-349
- Esmaeel Nikravan, Saeed Parsa:
A reasoning-based approach to dynamic domain reduction in test data generation. 351-364
Volume 21, Number 4, August 2019
- Pavel Parízek, Ondrej Lhoták:
Fast detection of concurrency errors by state space traversal with randomization and early backtracking. 365-400 - Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu:
Parallel reachability analysis of hybrid systems in XSpeed. 401-423 - Julien Botella, Jean-Francois Capuron, Frédéric Dadeau, Elizabeta Fourneret, Bruno Legeard, Florence Schadle:
Complementary test selection criteria for model-based testing of security components. 425-448 - Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi:
Comparing approaches for model-checking strategies under imperfect information and fairness constraints. 449-469 - Matthew F. Tennyson:
ASAP: A Source Code Authorship Program. 471-484
Volume 21, Number 5, October 2019
- Martin Hentschel, Richard Bubel, Reiner Hähnle:
The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more. 485-513 - Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty:
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking. 515-543 - Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler:
Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction. 545-565 - Thomas Gibson-Robinson, Gavin Lowe:
Symmetry reduction in CSP model checking. 567-605
Volume 21, Number 6, December 2019
- Maurice H. ter Beek, Axel Legay:
Quantitative variability modelling and analysis. 607-612 - Lars Luthmann, Timo Gerecht, Malte Lochau:
Sampling strategies for product lines with unbounded parametric real-time constraints. 613-633 - Maxime Cordy, Axel Legay:
Verification and abstraction of real-time variability-intensive systems. 635-649 - Linda Herrmann, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz:
Configuration of inter-process communication with probabilistic model checking. 651-666 - Uli Fahrenberg, Axel Legay:
Quantitative properties of featured automata. 667-677 - Davide Basile:
Applying supervisory control synthesis to priced featured automata and energy problems. 679-689 - Ferruccio Damiani, Michael Lienhardt, Luca Paolini:
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. 691-707
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
