Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009336943/catalog> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b13183122.
- catalog contributor b13183123.
- catalog contributor b13183124.
- catalog contributor b13183125.
- catalog contributor b13183126.
- catalog created "c2004.".
- catalog date "2004".
- catalog date "c2004.".
- catalog dateCopyrighted "c2004.".
- catalog description "Black-box testing of grey-box behavior / Benjamin Tyler and Neelam Soundarajan -- On checking whether a predicate definitely holds / Alper Sen and Vijay K. Gary -- Using a software testing technique to improve theorem proving / Reiner Hahnle and Angela Wallenburg -- Auto-generating test sequences using model checkers : a case study / Mats P. E. Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj and Jimin Gao".
- catalog description "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.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "viii, 266 p. :".
- catalog identifier "3540208941 (acid-free paper)".
- catalog isPartOf "Lecture notes in computer science ; 2931".
- catalog issued "2004".
- catalog issued "c2004.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "005.13/1 22".
- catalog subject "Computer science.".
- catalog subject "Computer software Testing Congresses.".
- catalog subject "Formal methods (Computer science) Congresses.".
- catalog subject "Logic design.".
- catalog subject "QA76.9.F67 F52 2003".
- catalog subject "Software engineering.".
- catalog tableOfContents "Black-box testing of grey-box behavior / Benjamin Tyler and Neelam Soundarajan -- On checking whether a predicate definitely holds / Alper Sen and Vijay K. Gary -- Using a software testing technique to improve theorem proving / Reiner Hahnle and Angela Wallenburg -- Auto-generating test sequences using model checkers : a case study / Mats P. E. Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj and Jimin Gao".
- catalog title "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.).".
- catalog type "Conference proceedings. fast".
- catalog type "Montreal (2003) swd".
- catalog type "text".