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 methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to...
Salvato in:
| Autore principale: | |
|---|---|
| Ente Autore: | |
| Altri autori: | |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
2931 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, Springer, 2004, 1 vol. (VIII-266 p.), Lecture notes in computer science, 3-540-20894-1 • Formal Approaches to Software Testing, Texte imprimé, 9783662174579 |
| LEADER | 05345nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 971700 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155211420 | ||
| 020 | |a 9783540246176 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Petrenko, Alexandre. | |
| 245 | 1 | 0 | |a Formal approaches to software testing : |b Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised Papers |c [edited by] Alexandre Petrenko, Andreas Ulrich. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2931 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Logiciels |x Essais | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ulrich, Andreas. |4 pbd | |
| 711 | 2 | |a Workshop on Formal Approaches to Testing of Software |n (3 |d :2003 |c :Montreal, Quebec). |4 aut | |
| 776 | 0 | |0 076559211 |t Formal approaches to software testing |o Third International Workshop on Formal Approaches to Testing of Software, FATES 2003 |o Montreal, Quebec, Canada, October 6th, 2003 |o revised papers |f Alexandre Petrenko, Andreas Ulrich (eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (VIII-266 p.) |s Lecture notes in computer science |z 3-540-20894-1 | |
| 776 | 0 | |t Formal Approaches to Software Testing |b Texte imprimé |z 9783662174579 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b95400 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-XDZLZ318-P |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750649704 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b95400 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754000230 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b95400 |z Accès INSA CVL | |
| 997 | |0 971700 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||