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)

This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.

Computer software --- Software engineering --- Engineering & Applied Sciences --- Computer Science --- Testing --- Information Technology --- Software Engineering --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Management information systems. --- Computer Science. --- Software Engineering. --- Computer Communication Networks. --- Programming Languages, Compilers, Interpreters. --- Special Purpose and Application-Based Systems. --- Logics and Meanings of Programs. --- Management of Computing and Information Systems. --- 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 --- Engineering --- Special purpose computers --- Computers --- 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 --- Communication systems --- Distributed processing --- Logic design. --- Information Systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory

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