International Journal on Software Tools for Technology Transfer (STTT), Volume 11

Volume 11, Number 1, February 2009

• Antti Valmari:
  Software model checking is a rich research field. 1-11
  
• Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan:
  Parallel and distributed model checking in Eddy. 13-25
  
• Klaus Dräger, Bernd Finkbeiner, Andreas Podelski:
  Directed model checking with distance-preserving abstractions. 27-37
  
• Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente:
  Partial-order reduction for general state exploring algorithms. 39-51
  
• Saswat Anand, Corina S. Pasareanu, Willem Visser:
  Symbolic execution with abstraction. 53-67
  
• Alessandro Armando, Jacopo Mantovani, Lorenzo Platania:
  Bounded model checking of software using SMT solvers instead of SAT solvers. 69-83
  

Volume 11, Number 2, April 2009

• Michael Huth, Orna Grumberg:
  Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification. 85-94
  
• Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady:
  An abstraction-based decision procedure for bit-vector arithmetic. 95-104
  
• Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
  A low-level memory model and an accompanying reachability predicate. 105-116
  
• Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen:
  Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. 117-131
  
• Lili Tan:
  The worst-case execution time tool challenge 2006. 133-152
  
• Chryssis Georgiou, Nancy A. Lynch, Panayiotis Mavrommatis, Joshua A. Tauber:
  Automated implementation of complex distributed algorithms specified in the IOA language. 153-171
  

Volume 11, Number 3, July 2009

• Mike Hinchey, Tiziana Margaria, Bernhard Steffen:
  Guest Editor's introduction. 173-174
  
• Boutheina Chetali, Quang Huy Nguyen:
  An automated testing experiment for layered embedded C code. 175-185
  
• Bastian Schlich, Stefan Kowalewski:
  Model checking C source code for embedded systems. 187-202
  
• Eric Van Wyk, Mats Per Erik Heimdahl:
  Flexibility in modeling languages and tools: a call to arms. 203-215
  
• Dominique Cansell, Dominique Méry, Cyril Proch:
  System-on-chip design by proof-based refinement. 217-238
  
• Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota:
  Encoding a process algebra using the Event B method. 239-253
  
• David Déharbe, Silvio Ranise:
  Satisfiability solving for software verification. 255-260
  
• Alexandra Desmoulin, César Viho:
  Formalizing interoperability for test case generation purpose. 261-267
  

Volume 11, Number 4, October 2009

• Karen Yorav:
  Haifa verification conference 2007. 269-272
  
• Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai:
  GenUTest: a unit test and mock aspect generation tool. 273-290
  
• Shai Fine, Laurent Fournier, Avi Ziv:
  Using Bayesian networks and virtual coverage to hit hard-to-reach events. 291-305
  
• Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria:
  Dynamic testing via automata learning. 307-324
  
• Domagoj Babic, Alan J. Hu:
  Approximating the safely reusable set of learned facts. 325-338
  
• Corina S. Pasareanu, Willem Visser:
  A survey of new trends in symbolic execution for software testing and analysis. 339-353
  

Volume 11, Number 5, November 2009

• Tiziana Margaria, Mieke Massink:
  Preface. 355-357
  
• Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán:
  Checking the reliability of socket based communication software. 359-374
  
• Anton Wijs, Jaco van de Pol, Elena M. Bortnik:
  Solving scheduling problems by untimed model checking. 375-392
  
• Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria:
  LearnLib: a framework for extrapolating behavioral models. 393-407
  
• Jan Mikác, Paul Caspi:
  Flush: an example of development by refinements in SCADE/Lustre. 409-418
  

Volume 11, Number 6, December 2009

• Filippo Ricca, Liu Chao:
  Special section on Web Systems Evolution. 419-425
  
• Alessandro Marchetto, Filippo Ricca:
  From objects to services: toward a stepwise migration approach for Java applications. 427-440
  
• Harry M. Sneed:
  A pilot project for migrating COBOL code to web services. 441-451
  
• Keisuke Nakano, Zhenjiang Hu, Masato Takeichi:
  Consistent Web site updating based on bidirectional transformation. 453-468
  
• Giuseppe Scanniello, Damiano Distante, Michele Risi:
  An approach and an Eclipse-based environment for enhancing the navigation structure of Web sites. 469-484
  
• Mario Luca Bernardi, Giuseppe A. Di Lucca, Damiano Distante:
  The RE-UWA approach to recover user centered conceptual models from Web applications. 485-501
  
• Brian Chan, King Chun Foo, Lionel Marks, Ying Zou:
  An approach for estimating the time needed to perform code changes in business applications. 503-515
  

Last update Sat May 18 20:54:34 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page