International 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 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 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 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
  

Last update Fri May 24 20:49:57 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page