default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer, Volume 14
Volume 14, Number 1, February 2012
- Natasha Sharygina
, Stefano Tonetta, Aliaksei Tsitovich:
An abstraction refinement approach combining precise and approximated techniques. 1-14 - Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon, Maria Zimakova:
Modelling and analysis using GROOVE. 15-40 - Shmuel Katz, David Faitelson:
The common aspect proof environment. 41-52 - Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay:
Statistical abstraction and model-checking of large heterogeneous systems. 53-72 - Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet:
Coverage-biased random exploration of large models and application to testing. 73-93 - Georgia Penido Safe, Claudionor Coelho, Luiz Filipe M. Vieira, Celina Gomes Do Val, José Augusto Miranda Nacif, Antônio Otávio Fernandes:
Selection of formal verification heuristics for parallel execution. 95-108
Volume 14, Number 2, April 2012
- Parosh Aziz Abdulla:
Regular model checking. 109-118 - Axel Legay:
Extrapolating (omega-)regular model checking. 119-143 - Ahmed Bouajjani, Tayssir Touili:
Widening techniques for regular tree model checking. 145-165 - Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar:
Abstract regular (tree) model checking. 167-191 - Bernard Boigelot:
Domain-specific regular acceleration. 193-206 - Giorgio Delzanno, Ahmed Rezine:
A lightweight regular model checking approach for parameterized systems. 207-222 - Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena:
Regular model checking for LTL(MSO). 223-241
Volume 14, Number 3, June 2012
- Oleg Sokolsky, Klaus Havelund, Insup Lee:
Introduction to the special section on runtime verification. 243-247 - Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen, Grigore Rosu:
An overview of the MOP runtime verification framework. 249-289 - Shaz Qadeer, Serdar Tasiran:
Runtime verification of concurrency-specific correctness criteria. 291-305 - Eric Bodden, Laurie J. Hendren:
The Clara framework for hybrid typestate analysis. 307-326 - Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok:
Software monitoring with controllable overhead. 327-347 - Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier:
What can you verify and enforce at runtime? 349-382
Volume 14, Number 4, August 2012
- Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado:
Model-based testing of software and systems: recent advances and challenges. 383-386 - Margus Veanes, Nikolaj S. Bjørner:
Alternating simulation and IOCO. 387-405 - Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier:
More testable properties. 407-437 - Christoph David Gladisch:
Model generation for quantified formulas with application to test data generation. 439-459 - Silvia Regina Vergilio, Aurora T. R. Pozo, João Carlos G. Árias, Rafael da Veiga Cabral, Tiago Nobre:
Multi-objective optimization algorithms applied to the class integration and test order problem. 461-475
Volume 14, Number 5, October 2012
- Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela:
Software diversity: state of the art and perspectives. 477-495 - Andreas Pleuss, Goetz Botterweck:
Visualization of variability and configuration options. 497-510 - Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
A constraint-based variability modeling framework. 511-530 - Reinhard Tartler, Julio Sincero, Christian Dietrich, Wolfgang Schröder-Preikschat, Daniel Lohmann:
Revealing and repairing configuration inconsistencies in large-scale system software. 531-551 - Patrick Heymans, Quentin Boucher, Andreas Classen, Arnaud Bourdoux, Laurent Demonceau:
A code tagging approach to software product line development - An application to satellite communication libraries. 553-566 - Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte:
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. 567-588 - Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model checking software product lines with SNIP. 589-612 - Wolfgang Heider, Rick Rabiser, Paul Grünbacher:
Facilitating the evolution of products in product line engineering by capturing and replaying configuration decisions. 613-630
Volume 14, Number 6, November 2012
- Zhiming Liu, Abhik Roychoudhury:
Relating software validation to technology trends. 631-638 - Minxue Pan, Xuandong Li:
Timing analysis of MSC specifications with asynchronous concatenation. 639-651 - Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng:
Formal modeling and validation of Stateflow diagrams. 653-671 - Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe A. S. Ferri, Edson H. Watanabe:
Constructive model-based analysis for safety assessment. 673-702 - Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski:
Compositional verification of real-time systems using Ecdar. 703-720
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:27 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:
