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 /
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 ; New York : Springer-Verlag, ©2004.
- 1 online resource (viii, 266 pages) : illustrations
- Lecture notes in computer science, 2931 0302-9743 ; .
- Lecture notes in computer science ; 2931. .
"In affiliation with the IEEE/ACM Conference on Automated Software Engineering, ASE 2003"--Preface
Includes bibliographical references and index.
Program Testing and Analysis -- Black-Box Testing of Grey-Box Behavior -- On Checking Whether a Predicate Definitely Holds -- Using a Software Testing Technique to Improve Theorem Proving -- Auto-generating Test Sequences Using Model Checkers: A Case Study -- Mutually Enhancing Test Generation and Specification Inference -- JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit -- Test Theory and Test Derivation Algorithms -- Compositional Testing with ioco -- Defining Observation Objectives for Reactive and Distributed Systems -- Time-Optimal Real-Time Test Case Generation Using Uppaal -- Test Cases Generation for Nondeterministic Real-Time Systems -- Property Oriented Test Case Generation -- Computing Unique Input/Output Sequences Using Genetic Algorithms -- Automatic Generation of Test Purposes for Testing Distributed Systems -- Test Methods and Test Tools -- Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation -- Automatic Conformance Testing of Internet Applications -- A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams -- VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile -- Towards a Tool Environment for Model-Based Testing with AsmL.
Purchased with a license for 1 simultaneous UFV user.
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, held in Montreal, Quebec, Canada, on October 6th, 2003. The 18 revised full papers presented were carefully selected from 43 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program testing and analysis, test theory and test derivation algorithms, and test methods and test tools.
3540246177 9783540246176
10.1007/b95400 doi
GBA419454 bnb
20040086739 969824300 DE-101
Formal methods (Computer science)--Congresses.
Computer software--Testing--Congresses.
Computer programs--Testing--Congresses.
Méthodes formelles (Informatique)--Congrès.
Logiciels--Essais--Congrès.
COMPUTERS--Programming Languages--General.
Computer software--Testing
Formal methods (Computer science)
Formale Methode
Hardwareentwurf
Kongress
Korrektheit
Softwareentwicklung
Testen
Software
Méthode formelle.
Vérification de logiciels.
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Montreal (2003)
QA76.9.F67 / F52 2003
005.13/1
"In affiliation with the IEEE/ACM Conference on Automated Software Engineering, ASE 2003"--Preface
Includes bibliographical references and index.
Program Testing and Analysis -- Black-Box Testing of Grey-Box Behavior -- On Checking Whether a Predicate Definitely Holds -- Using a Software Testing Technique to Improve Theorem Proving -- Auto-generating Test Sequences Using Model Checkers: A Case Study -- Mutually Enhancing Test Generation and Specification Inference -- JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit -- Test Theory and Test Derivation Algorithms -- Compositional Testing with ioco -- Defining Observation Objectives for Reactive and Distributed Systems -- Time-Optimal Real-Time Test Case Generation Using Uppaal -- Test Cases Generation for Nondeterministic Real-Time Systems -- Property Oriented Test Case Generation -- Computing Unique Input/Output Sequences Using Genetic Algorithms -- Automatic Generation of Test Purposes for Testing Distributed Systems -- Test Methods and Test Tools -- Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation -- Automatic Conformance Testing of Internet Applications -- A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams -- VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile -- Towards a Tool Environment for Model-Based Testing with AsmL.
Purchased with a license for 1 simultaneous UFV user.
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, held in Montreal, Quebec, Canada, on October 6th, 2003. The 18 revised full papers presented were carefully selected from 43 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program testing and analysis, test theory and test derivation algorithms, and test methods and test tools.
3540246177 9783540246176
10.1007/b95400 doi
GBA419454 bnb
20040086739 969824300 DE-101
Formal methods (Computer science)--Congresses.
Computer software--Testing--Congresses.
Computer programs--Testing--Congresses.
Méthodes formelles (Informatique)--Congrès.
Logiciels--Essais--Congrès.
COMPUTERS--Programming Languages--General.
Computer software--Testing
Formal methods (Computer science)
Formale Methode
Hardwareentwurf
Kongress
Korrektheit
Softwareentwicklung
Testen
Software
Méthode formelle.
Vérification de logiciels.
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Montreal (2003)
QA76.9.F67 / F52 2003
005.13/1