Formal approaches to software testing : third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers

>> Google Books

所蔵情報QRコード

Formal approaches to software testing : third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2004

形態:

viii, 266 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2931 <BA00009279>

著者名:

ISBN:

9783540208945 [3540208941]

書誌ID:

BA66135139

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

In affiliation with the IEEE/ACM Conference on Automated Software Engineering, ASE 2003--Pref
Includes bibliographical references and index

主題:

Computer software--Testing--Congresses; Formal methods (Computer science)--Congresses

言語:

英語

目次情報:

Program Testing and Analysis

Black-Box Testing of Grey-Box Behavior / Benjamin Tyler ; Neelam Soundarajan

On Checking Whether a Predicate Definitely Holds / Alper Sen ; Vijay K. Garg

Using a Software Testing Technique to Improve Theorem Proving / Reiner Hahnle ; Angela Wallenburg

Auto-generating Test Sequences Using Model Checkers: A Case Study / Mats P.E. Heimdahl ; Sanjai Rayadurgam ; Willem Visser ; George Devaraj ; Jimin Gao

Mutually Enhancing Test Generation and Specification Inference / Tao Xie ; David Notkin

JMLAutoTest: A Novel Automated Testing Framework Based on JML and Junit / Guoqing Xu ; Zongyuang Yang

Test Theory and Test Derivation Algorithms

Compositional Testing with ioco / Machiel van der Bijl ; Arend Rensink ; Jan Tretmans

Defining Observation Objectives for Reactive and Distributed Systems / Timo Aaltonen

Time-Optimal Real-Time Test Case Generation Using Uppaal / Anders Hessel ; Kim G. Larsen ; Brian Nielsen ; Paul Pettersson ; Arne Skou

Test Cases Generation for Nondeterministic Real-Time Systems / Ahmed Khoumsi ; Thierry Jeron ; Herve Marchand

Property Oriented Test Case Generation / Jean-Claude Fernandez ; Laurent Mounier ; Cyril Pachon

Computing Unique Input/Output Sequences Using Genetic Algorithms / Qiang Guo ; Robert M. Hierons ; Mark Harman ; Karnig Derderian

Automatic Generation of Test Purposes for Testing Distributed Systems / Olaf Henniger ; Miao Lu ; Hasan Ural

Test Methods and Test Tools Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation / Ahyoung Sung ; Byoungju Choi

Automatic Conformance Testing of Internet Applications / Harm M.A. van Beek ; Sjouke Mauw

A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams / Mourad Badri ; Linda Badri ; Marius Naha

VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile / Sita Ramakrishnan

Towards a Tool Environment for Model-Based Testing with AsmL / Mike Barnett ; Wolfgang Grieskamp ; Lev Nachmanson ; Wolfram Schulte ; Nikolai Tillmann ; Margus Veanes

Author Index

Program Testing and Analysis

Black-Box Testing of Grey-Box Behavior / Benjamin Tyler ; Neelam Soundarajan

On Checking Whether a Predicate Definitely Holds / Alper Sen ; Vijay K. Garg

Using a Software Testing Technique to Improve Theorem Proving / Reiner Hahnle ; Angela Wallenburg

Auto-generating Test Sequences Using Model Checkers: A Case Study / Mats P.E. Heimdahl ; Sanjai Rayadurgam ; Willem Visser ; George Devaraj ; Jimin Gao

Mutually Enhancing Test Generation and Specification Inference / Tao Xie ; David Notkin

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Formal Approaches to Software Testing FATES 2003, Petrenko, Alexandre, Ulrich, Andreas SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	7 図書 11th International Workshop on Formal Techniques for Java-like Programs 2009 (FTfJP 09) : held at ECOOP 2009 : Genova, Italy, 6 July 2009 International Workshop on Formal Techniques for Java-like Programs, European Conference on Object-Oriented Programming Association for Computing Machinery
2 図書 Formal approaches to software testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers International Workshop on Formal Approaches to Testing of Software, Grieskamp, Wolfgang, Weise, Carsten Springer	8 図書 Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : … FORTE, Wang, Farn Springer
3 図書 Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers International Workshop on Formal Approaches to Testing of Software, Grabowski, Jens, Nielsen, Brian Springer	9 図書 2st International Workshop on Random Testing : RT 2007, at ASE 07, November 6, 2007, Atlanta, Georgia, USA International Workshop on Random Testing, ACM/IEEE International Conference on Automated Software Engineering Association for Computing Machinery
4 図書 Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings ICFEM, Dong, Jin Song, 1967-, Woodcock, James Springer	10 図書 Proceedings : 18th IEEE International Conference on Automated Software Engineering, Montreal, Quebec, Canada, October 6 to 10, 2003 International Conference on Automated Software Engineering, IEEE Computer Society, CRIM, SIGART, ACM Sigsoft, Ministere … IEEE Computer Society
5 図書 Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, … FORTE, König, Hartmut, 1947-, Heiner, Monika, 1954-, Wolisz, Adam, IFIP Working Group 6.1 Springer	11 図書 19th International Symposium on Software Testing and Analysis 2010 (ISSTA 2010) : Trento, Italy 12-16 July 2010 International Symposium on Software Testing and Analysis, ACM Sigsoft Association for Computing Machinery
6 図書 Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : … ICFEM, Davies, Jim, 1964-, Schulte, Wolfram, Barnett, Mike Springer	12 図書 18th International Symposium on Software Testing and Analysis (ISSTA 2009) : Chicago, Illinois, USA, 19-23 July 2009 International Symposium on Software Testing and Analysis, ACM Sigsoft Association for Computing Machinery