![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.