Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering --- informatica management

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software testing is one of the most cost-intensive tasks in the modern software production process. The application of formal approaches to the testing process has gainedsteadyattention in recentyears.E?ective ande?cient test cases may be generated automatically from formal system models and speci?cations or be developedbasedonaformalanalysisofthesystem.Formalapproachestotesting use techniques from areas like theorem proving, model checking, constraint r- olution, program analysis, abstract interpretation, Markov chains, and various others. These techniques are combined with traditional approaches to testing. TheworkshoponFormalApproachestoTestingofSoftware(FATES)selected a number of high-quality submissions out of these ?elds for presentation at the workshop as well as inclusion in the workshop proceedings. The contributions show the state of the art in the application of formal methods in the testing process. The workshop had 38 submissions, of which 14 were accepted (13 full papers and 1 work-in-progress).In all, this proceedingsvolume collects the work of 38 authors from 12 countries. Each paper underwent 3 reviews, done by 36 reviewers. This has been the ?fth successful workshop in the history of the FATES workshops. Previous workshops were held in Aaalborg (Denmark) in 2001 and in Brno (Czech Republic) in 2002 as satellites of CONCUR, and in Montr´ eal (Canada) in 2003 and Linz (Austra) in 2004 as satellites of the IEEE/ACM Conference on Automated Software Engineering (ASE). Wewouldliketo expressourgratitudeto allauthorsfortheir valuablecont- butionsandtotheWorkshopOrganizingCommitteeoftheCAV2005conference.

Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering --- informatica management

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Formal methods (Computer science) --- System design --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computers. --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Techniques. --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Informatics --- Science --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Formal methods (Computer science) - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Telecommunication systems --- Computer software --- Systèmes de télécommunications --- Logiciels --- Testing --- Congresses. --- Essais --- Congrès --- Telecommunications --- Computer Science --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Communication systems --- Communications systems --- Systems, Communication --- Computer science. --- Computer communication systems. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Management information systems. --- Electrical engineering. --- Computer Science. --- Software Engineering. --- Computer Communication Networks. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Management of Computing and Information Systems. --- Communications Engineering, Networks. --- Electric engineering --- Engineering --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Distributed processing --- Logic design. --- Information Systems. --- Telecommunication. --- Electric communication --- Mass communication --- Telecom --- Telecommunication industry --- Communication --- Information theory --- Telecommuting --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory