default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Journals > International Journal on Software Tools for Technology Transfer

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 5, Number 1, November 2003

Special section on trends in verification and validation

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MargariaY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MargariaY03
Tiziana Margaria, Wang Yi:
Introductory paper: scalability aspects of validation. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/WilliamsAH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/WilliamsAH03
Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard:
Satisfiability checking using Boolean Expression Diagrams. 4-14
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Yavuz-KahveciB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Yavuz-KahveciB03
Tuba Yavuz-Kahveci, Tevfik Bultan:
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. 15-33
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/PasareanuDV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PasareanuDV03
Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser:
Finding feasible abstract counter-examples. 34-48
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BallPR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BallPR03
Thomas Ball, Andreas Podelski, Sriram K. Rajamani:
Boolean and Cartesian abstraction for model checking C programs. 49-58
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/NielsenS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/NielsenS03
Brian Nielsen, Arne Skou:
Automated test generation from timed automata. 59-77
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GunterMP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GunterMP03
Elsa L. Gunter, Anca Muscholl, Doron A. Peled:
Compositional message sequence charts. 78-89

Regular contribution

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ChevalleyT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ChevalleyT03
Philippe Chevalley, Pascale Thévenod-Fosse:
A mutation analysis tool for Java programs. 90-103

Volume 5, Number 2-3, March 2004

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Pol04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Pol04
Jaco van de Pol:
Introductory paper. 105-106
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/MargariaS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/MargariaS04
Tiziana Margaria, Bernhard Steffen:
Lightweight coarse-grained coordination: a scalable system-level approach. 107-123
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LugatoBVGGT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LugatoBVGGT04
David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier:
Validation and automatic test generation on UML models: the AGATHA approach. 124-139
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/PretschnerSAK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PretschnerSAK04
Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel:
Model-based testing for real. 140-157
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/PaceHR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/PaceHR04
Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond:
Counter-example generation in symbolic abstract model-checking. 158-164
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GallardoMMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GallardoMMP04
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
aSPIN: A tool for abstract model checking. 165-184
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/SchuppanB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/SchuppanB04
Viktor Schuppan, Armin Biere:
Efficient reduction of finite state model checking to reachability analysis. 185-204
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ArtsED04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ArtsED04
Thomas Arts, Clara Benac Earle, John Derrick:
Development of a verified Erlang program for resource locking. 205-220
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DawsKN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DawsKN04
Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman:
Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. 221-236
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BoldoD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BoldoD04
Sylvie Boldo, Marc Daumas:
Properties of two's complement floating point notations. 237-246
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/EdelkampLL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/EdelkampLL04
Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente:
Directed explicit-state model checking in the validation of communication protocols. 247-267
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/DelzannoRB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/DelzannoRB04
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
Covering sharing trees: a compact data structure for parameterized verification. 268-297

Volume 5, Number 4, May 2004

- view
  authority control:
- export record
  dblp key:
  - journals/sttt/IyerHJLPA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/IyerHJLPA04
S. Purushothaman Iyer, David Hislop, Paul L. Jones, Jaime Lee, Frederick Pearce, Stephen Van Albert:
Introductory paper. 299-300
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Martin04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Martin04
John C. Martin:
Formal methods software engineering for the CARA system. 301-307
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/AlurAGLLNPAZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/AlurAGLLNPAZ04
Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou:
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. 308-319
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JetleyCI04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JetleyCI04
Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer:
A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. 320-330
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Stark04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Stark04
Eugene W. Stark:
Formally specifying CARA in Java. 331-350
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/RayC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/RayC04
Arnab Ray, Rance Cleaveland:
Unit verification: the CARA experience. 351-369
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LuqiGBZFCPB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LuqiGBZFCPB04
Luqi, Zhiwei Guan, Valdis Berzins, Lynn Zhang, David L. Floodeen, Vedat Coskun, Joseph Puett, Michael Brown:
Requirements-document-based prototyping of CARA software. 370-390

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.